Re: Java ports: source vs. binary?

[Theo de Raadt]

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

And in 5 years noone will make source available.