Be explicit about Java source/target versions