4 Commits

Author	SHA1	Message	Date
Gabriel Pettier	ad843f2a39	set encoding=UTF8 in the javac section of build.xml ... as it doesn't work on windows otherwise	2020-05-02 22:57:45 +02:00
Gabriel Pettier	104ef47d0b	switch to source level 1.7 for all environments	2019-11-30 14:33:07 +01:00
Dan	9b776e214a	Use java -target detection in Makefile.	2019-07-26 09:28:39 -04:00
Benson Margulies	734e54789b	cleanup the build process. Use ant, put the java code in a proper java root.	2015-05-03 11:24:11 -04:00