Rename exec.

boris-spas · boris-spas · commit 70d42a10c5e5 · 2018-10-29T17:55:38.000+01:00
diff --git a/pom.xml b/pom.xml
@@ -87,7 +87,7 @@
                             </configuration>
                         </execution>
                         <execution>
-                            <id>hotspot</id>
+                            <id>nograal</id>
                             <goals>
                                 <goal>exec</goal>
                             </goals>
