michael@0: The .java files in this directory were placed here by the Java-to-C++
michael@0: translator that lives in parser/html/java/translator.  Together they represent
michael@0: a snapshot of the Java code that was translated to produce the corresponding
michael@0: .h and .cpp files in the parent directory.  Changing these .java files is not
michael@0: worthwhile, as they will just be overwritten by the next translation.  See
michael@0: parser/html/java/README.txt for information about performing the translation.