Specify Java source version and source encoding

These need to be set in order for the software to build on
systems where the specified source properties are not
automatically correctly determined.