This can  now be ignored, given that we've decided to use `maven.compiler.source` and `maven.compiler.target`.