K 10
svn:author
V 5
znerd
K 8
svn:date
V 27
2003-12-15T07:04:50.000000Z
K 7
svn:log
V 385
Fixed bug. If a Linux 1.4 JDK would have been installed, it
would not have been picked up if USE_JAVA was set to "1.3+".

The behaviour is now as follows if USE_JAVA is set to
"1.3+":
- If the setting is 1.3+, then use an already installed 1.3
  or 1.4 JDK. If there is no such JDK, then set USE_JAVA to
  1.3. The FreeBSD JDK 1.4 is preferred over all other
  JDK's.

Noticed by:	pav

END