Name: kbR10066 Date: 04/07/2003


Since version 1.2 Javac supports undocumented -Xjcov option.
Up to version 1.3 this option made Javac generate class file
attributes specific to Java Code Coverage Tool (JCov). But since
version 1.4 this option makes Javac generate new CharacterRangeTable
attribute which is quite general-purpose and is not JCov-specific at all.

So, it would be good to rename this option, so that it does not
refer to JCov any more (maybe to -Xcrt, ...).
======================================================================