diff -r 8bf8753226bd -r f08854c7f8b1 rt/emul/mini/pom.xml --- a/rt/emul/mini/pom.xml Tue Sep 17 15:00:48 2013 +0200 +++ b/rt/emul/mini/pom.xml Sat Sep 28 02:03:14 2013 +0200 @@ -35,9 +35,15 @@ maven-compiler-plugin 2.5.1 + 1.7 1.7