K 10 svn:author V 5 znerd K 8 svn:date V 27 2002-06-15T13:08:52.000000Z K 7 svn:log V 165 Upgrade to JUMP 0.3. Added an alternative download location. Not removing ${PREFIX}/share/java at deinstallation anymore since it is part of the base hierarchy now. END