Set the java version and encoding through properties rather than plugin definition

This way of defining the java version and encoding is recommended as it applies to every possible plugin/report relying on it.