Silence warnings about obsolete javac options.

This avoids warnings with java 15 with the default
"sourcever = 7" in build.properties.