Added the maven-compiler-plugin to make sure that all smt projects are compiled with Java 7.