Update java generator code to generate updated imports from maven (#894)

Author: mchadalavada

Src/PCompiler/CompilerCore/Backend/Java/Constants.cs

@@ -15,7 +15,7 @@ internal static class Constants
     {
         #region P Java runtime constants
 
-        public static readonly string PRTNamespaceName = "com.amazon.pobserve.runtime";
+        public static readonly string PRTNamespaceName = "pobserve.runtime";
 
         public static readonly string TryAssertMethodName = "tryAssert";
         public static readonly string TryRaiseEventMethodName = "tryRaiseEvent";
@@ -117,15 +117,15 @@ internal static string AsFFIComment(string line)
 xsi:schemaLocation=""http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"">
     <modelVersion>4.0.0</modelVersion>
 
-    <groupId>com.amazon.p</groupId>
+    <groupId>io.github.p</groupId>
     <artifactId>-package-name-</artifactId>
     <version>1.0-SNAPSHOT</version>
 
     <name>-package-name-</name>
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <maven.compiler.source>11</maven.compiler.source>
-        <maven.compiler.target>11</maven.compiler.target>
+        <maven.compiler.source>17</maven.compiler.source>
+        <maven.compiler.target>17</maven.compiler.target>
         <buildDirectory>${{project.basedir}}/PObserve</buildDirectory>
     </properties>
     <packaging>jar</packaging>
@@ -185,35 +185,35 @@ internal static string AsFFIComment(string line)
         /// The fully-qualified name of the static `deepClone(PrtValue)` method exposed by
         /// the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtDeepCloneMethodName = "com.amazon.pobserve.runtime.values.Clone.deepClone";
+        internal static readonly string PrtDeepCloneMethodName = "pobserve.runtime.values.Clone.deepClone";
 
         /// <summary>
         /// The fully-qualified name of the static `deepEquality(Object, Object)` method
         /// exposed by the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtDeepEqualsMethodName = "com.amazon.pobserve.runtime.values.Equality.deepEquals";
+        internal static readonly string PrtDeepEqualsMethodName = "pobserve.runtime.values.Equality.deepEquals";
 
         /// <summary>
         /// The fully-qualified name of the static `compare(Comparable, Comparable)` method
         /// exposed by the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtCompareMethodName = "com.amazon.pobserve.runtime.values.Equality.compare";
+        internal static readonly string PrtCompareMethodName = "pobserve.runtime.values.Equality.compare";
 
         /// <summary>
         /// The fully-qualified name of the static `elementAt(LinkedHashSet, long)` method
         /// exposed by the Java PRT runtime.
         /// </summary>
-        internal static readonly string PrtSetElementAtMethodName = "com.amazon.pobserve.runtime.values.SetIndexing.elementAt";
+        internal static readonly string PrtSetElementAtMethodName = "pobserve.runtime.values.SetIndexing.elementAt";
 
         /// <summary>
         /// The fully-qualified class name of the Java P runtime's PValue class.
         /// </summary>
-        internal static readonly string PValueClass = "com.amazon.pobserve.runtime.values.PValue";
+        internal static readonly string PValueClass = "pobserve.runtime.values.PValue";
 
         /// <summary>
         /// The fully-qualified class name of the Java P runtime's PEvent class.
         /// </summary>
-        internal static readonly string EventsClass = "com.amazon.pobserve.runtime.events.PEvent";
+        internal static readonly string EventsClass = "pobserve.runtime.events.PEvent";
 
         #endregion
 

Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs

@@ -76,7 +76,7 @@ private void WriteMonitorDecl()
         {
             var cname = Names.GetNameForDecl(_currentMachine);
 
-            WriteLine($"public static class {cname} extends com.amazon.pobserve.runtime.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");
+            WriteLine($"public static class {cname} extends pobserve.runtime.Monitor<{cname}.{Constants.StateEnumName}> implements Serializable {{");
 
             WriteLine();
             WriteSupplierCDef(cname);
@@ -229,11 +229,11 @@ private void WriteFunctionSignature(Function f)
             var throwables = new List<string>();
             if (f.CanChangeState)
             {
-                throwables.Add("com.amazon.pobserve.runtime.exceptions.TransitionException");
+                throwables.Add("pobserve.runtime.exceptions.TransitionException");
             }
             if (f.CanRaiseEvent)
             {
-                throwables.Add("com.amazon.pobserve.runtime.exceptions.RaiseEventException");
+                throwables.Add("pobserve.runtime.exceptions.RaiseEventException");
             }
             if (throwables.Count > 0)
             {
@@ -283,9 +283,9 @@ private void WriteEventsAccessor()
         private void WriteStateBuilderDecl(State s, bool isConstructor)
         {
             if (isConstructor) {
-                WriteLine($"addState(com.amazon.pobserve.runtime.State.keyedOn({Names.IdentForState(s)})");
+                WriteLine($"addState(pobserve.runtime.State.keyedOn({Names.IdentForState(s)})");
             } else {
-                WriteLine($"registerState(com.amazon.pobserve.runtime.State.keyedOn({Names.IdentForState(s)})");
+                WriteLine($"registerState(pobserve.runtime.State.keyedOn({Names.IdentForState(s)})");
             }
 
             if (s.IsStart)