[MOBY-dev] Code updates in jMOBY

[Martin Senger]

Paul,
   One more remark regarding jikes: Perhaps I am not using correct
arguments for jikes (like -source 1.5). But it would need some time to
investigate what arguments to use, and how to put them into jMoby
build.xml. The time I am reluctant to spend just now. Perhaps you can
consider to investigate - after all these were your changes :-)

   Thanks,
   Martin

-- 
Martin Senger
   email: martin.senger at gmail.com
   skype: martinsenger