Use properties insteqd of plugins to use Java 1.7