/Java.lhs/1.2/Thu Jun 29 19:37:02 2000//Tghc-4-08-1
/JavaGen.lhs/1.3/Thu Jun 29 19:37:03 2000//Tghc-4-08-1
/PrintJava.lhs/1.2/Thu Jun 29 19:37:03 2000//Tghc-4-08-1
D
