Fix non-threaded Java support.
authorbdemsky <bdemsky>
Thu, 12 Apr 2007 14:58:35 +0000 (14:58 +0000)
committerbdemsky <bdemsky>
Thu, 12 Apr 2007 14:58:35 +0000 (14:58 +0000)
commitf35db6bc976b523b04c50064429a03e24933abc5
tree60fbb2b3e6ea1acc6d8c54294f07a952e02014bf
parent123ee8b532e38056d2d8b17cc10afb29f1cef9fd
Fix non-threaded Java support.
Robust/src/Main/Main.java
Robust/src/buildscript