Tidy up generation of java/Makefile.inc.
authorRichard Jones <rjones@trick.home.annexia.org>
Fri, 7 Aug 2009 16:38:44 +0000 (17:38 +0100)
committerRichard Jones <rjones@trick.home.annexia.org>
Fri, 7 Aug 2009 16:38:44 +0000 (17:38 +0100)
commitc8419d45c8ca6d0592a5a47399988908fd550d3f
treec12455b4f24621772aef36d5b283a970fa4e0bb8
parentf0d6be10c2d7bbf49bfa1cdbcb99e356458aa60f
Tidy up generation of java/Makefile.inc.

(Just whitespace and comment changes, and small restructuring
of the code).
java/Makefile.inc
src/generator.ml