Re: Java ports: source vs. binary?

[Martin Schröder]

Installing from source also needs a jdk, while installing binaries
only needs the runtime environment.

Leave installing the source as an option to the user, and install
binaries as a default.

Best
  Martin