diff -r 692fc4c1990d -r dcc7ab0f2692 rt/emul/mini/pom.xml
--- a/rt/emul/mini/pom.xml	Tue Apr 30 15:16:08 2013 +0200
+++ b/rt/emul/mini/pom.xml	Thu May 16 10:31:32 2013 +0200
@@ -4,11 +4,11 @@
   <parent>
     <groupId>org.apidesign.bck2brwsr</groupId>
     <artifactId>emul.pom</artifactId>
-    <version>0.8-SNAPSHOT</version>
+    <version>0.7.2</version>
   </parent>
   <groupId>org.apidesign.bck2brwsr</groupId>
   <artifactId>emul.mini</artifactId>
-  <version>0.8-SNAPSHOT</version>
+  <version>0.7.2</version>
   <name>Minimal API Profile</name>
   <url>http://maven.apache.org</url>
   <properties>
@@ -18,7 +18,7 @@
     <dependency>
       <groupId>org.apidesign.bck2brwsr</groupId>
       <artifactId>core</artifactId>
-      <version>0.8-SNAPSHOT</version>
+      <version>0.7.2</version>
       <type>jar</type>
     </dependency>
     <dependency>