K 10 svn:author V 3 mbr K 8 svn:date V 27 2003-03-30T00:40:13.000000Z K 7 svn:log V 220 Work around the issue that our jdk has no version number like 1.4.1_02. It reports itself as release candidat: 1.4.1-p3. This makes the jdk detection working. Problem reported by: David Booth END