K 10 svn:author V 3 mbr K 8 svn:date V 27 2002-08-13T22:26:29.000000Z K 7 svn:log V 161 Allow use of JDK1.3.1 even if we have no hotspot available. I hope this will change in near future. Submitted by: Carlos F. A. Paniago END