Java port maintainers: What should be installed on the buildbot workers?

[Aaron Madlon-Kay]

> I'm not very familiar with Java open source project best practices, but
> maybe it is common practice to specify the -source and -target options
> anyway, so that our choice of JDK version wouldn't matter?

This is what I was talking about being “frowned upon”. Even if you specify -source and -target, you can accidentally compile in e.g. calls to methods that don’t exist in older JDK standard libraries, so the program will fail at runtime on old JDKs. In practice it’s not that common a problem.

-Aaron