Specified Java language level and source encoding

Without these changes, on some systems Maven tries to compile
the sources as pre-Java 1.5, which these sources don't are
not.  The source encoding is also manually set so that
platfrom defaults are not used.