JBoss ports do not respect the user's JAVA_VERSION

[Panagiotis Astithas]

The jboss ports build along the jboss3ctl (or jboss4ctl) and hardcode in 
it the JAVA_HOME it uses during the build. This makes it impossible to 
change the jdk afterwards without rebuilding.

Unfortunately, it seems that you cannot build jboss3/4 with jdk15, when 
you also have jdk14 installed. This is caused by the port specifying the 
java version like this:

JAVA_VERSION=   1.4+

I have modified this to:

JAVA_VERSION?=  1.4+

Actually grepping through the java category shows that almost all 
java-dependent ports, behave like that. Shouldn't we make a sweep and 
fix them all?


Panagiotis