fix basic template wizard

diverse-project · Aug 4, 2023 · 1568bba · 1568bba
1 parent 5a021e7
commit 1568bba
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/k3.eclipse/fr.inria.diverse.k3.ui/src/fr/inria/diverse/k3/ui/tools/K3FileTemplates.java b/k3.eclipse/fr.inria.diverse.k3.ui/src/fr/inria/diverse/k3/ui/tools/K3FileTemplates.java
@@ -20,13 +20,14 @@ public static String manifestMFPlugin (String projectName, List<String> required
 		StringBuffer buffer= new StringBuffer();
 		buffer.append("Manifest-Version: 1.0" + lineSeparator);
 		buffer.append("Bundle-ManifestVersion: 2" + lineSeparator);
+		buffer.append("Automatic-Module-Name: " + projectName + lineSeparator);
 		buffer.append("Bundle-Name: " + projectName + lineSeparator);
 		buffer.append("Bundle-SymbolicName: " + projectName + "; singleton:=true" + lineSeparator);
 		buffer.append("Bundle-Version: 1.0.0" + lineSeparator);
 		buffer.append("Require-Bundle: ");
-		buffer.append("fr.inria.diverse.k3.al.annotationprocessor.plugin;bundle-version=\"3.0.0\";visibility:=\"reexport\""+ lineSeparator);
+		buffer.append("fr.inria.diverse.k3.al.annotationprocessor.plugin;bundle-version=\"4.0.0\";visibility:=\"reexport\""+ lineSeparator);
 	    buffer.append("Bundle-ClassPath: ." + lineSeparator);
-	    buffer.append("Bundle-RequiredExecutionEnvironment: JavaSE-1.7"+lineSeparator);
+	    buffer.append("Bundle-RequiredExecutionEnvironment: JavaSE-17"+lineSeparator);
 
 	    return buffer.toString();
     }