diff -r 000000000000 -r 6474c204b198 parser/html/javasrc/README.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/parser/html/javasrc/README.txt	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,6 @@
+The .java files in this directory were placed here by the Java-to-C++
+translator that lives in parser/html/java/translator.  Together they represent
+a snapshot of the Java code that was translated to produce the corresponding
+.h and .cpp files in the parent directory.  Changing these .java files is not
+worthwhile, as they will just be overwritten by the next translation.  See
+parser/html/java/README.txt for information about performing the translation.