Java min version for master sources?

[Stephan Bergmann]

On 21/05/2019 11:24, julien2412 wrote:
> ...
> The baseline is actually Java 6.  We use `javac --target 1.6` (see
> JAVA_TARGET_VER in configure.ac) to generate code that is compatible
> with the Java 6 JVM spec, and our source code must only use Java API
> features that are present in Java 6 (though `javac --source 1.6 --target
> 1.6` apparently doesn't check that).
> ...
> </>
> If we want to be fully compatible with Java 6, would it be possible to make
> this patch
> https://cgit.freedesktop.org/libreoffice/core/commit/?id=9ee0a1f16682139c5be28a05d33e980123da4c6f
> fail locally (even if we use Java 8+ locally) or on Jenkins so it wouldn't
> have been pushed?

As I wrote, "though `javac --source 1.6 --target 1.6` apparently doesn't 
check that".  So I guess to make such mistakes fail locally or for 
Gerrit/Jenkins, you would need to actually use Java 6 to build there.