PKGNAMEPREFIX for Java ports

[Manfred Riem]

Hi Gabriel,

> >> I think it's not so bad to have Java ports in the java directory
> >> considering what PITA it is to build Java (even on a fast machine, it
> >> takes forever and that's only the tip of the ice berg). 

That's why we need to help out in testing so a diablo release of
1.4 is there soon. 

> Well obviously the Java ports all have the JDK as dependency ;-) And
> installing the JDK is a rather painful task no matter how fast your
> machine is.

Time consuming OK, painful not at all.

> But I get your point about getting rid of ports/java/ (especially bad
> as some tools aren't even in there but in the category they belong, I
> know I had to search for ant more than just once ;-).

So who is going to enter the PR's and take this one forward?

Regards,

Manfred Riem
mriem at win.tue.nl
http://www.riaca.win.tue.nl/