diff -r 5d2341f16b4f -r 9926996eca2d rt/emul/mini/pom.xml --- a/rt/emul/mini/pom.xml Sat Sep 28 20:54:50 2013 +0200 +++ b/rt/emul/mini/pom.xml Thu Oct 31 11:23:54 2013 +0100 @@ -47,6 +47,7 @@ --> +