Fix compilation for Java 7

Target: 2.11
Patch: none