fixed toolspecifics export, navigation for dinerosplaces

src/main/jastadd/base/Navigation.jrag

@@ -165,8 +165,12 @@ aspect Navigation {
     to PetriNet.allDinerosTransitions()
     for petriNet();
 
+  coll java.util.Set<DinerosPlace> PetriNet.allDinerosPlaces() [new java.util.HashSet()] root PetriNet;
+  DinerosPlace contributes this
+     to PetriNet.allDinerosPlaces()
+     for petriNet();
 
-        coll java.util.Set<Arc> PetriNet.allArcs() [new java.util.HashSet()] root PetriNet;
+  coll java.util.Set<Arc> PetriNet.allArcs() [new java.util.HashSet()] root PetriNet;
   Arc contributes this
     to PetriNet.allArcs()
     for petriNet();

src/main/jastadd/base/export/ComplexElementsConverter.jadd

@@ -14,6 +14,8 @@ aspect ComplexElementsConverter{
 
         private static StringBuffer clipToolSpecificsFormattedXmlBuffer(String toolName, String toolVersion, StringBuffer formattedXmlBuffer) {
 
+            System.out.println("Clipping: " + formattedXmlBuffer);
+
             if (formattedXmlBuffer != null) {
 
                 int endCharsLength = 15;
@@ -27,7 +29,8 @@ aspect ComplexElementsConverter{
                     indexGt = formattedXmlBuffer.indexOf(">");
                 }
 
-                if (toolNameLenth > 0 || toolVersionLength > 0) {
+                if ((toolNameLenth > 0 || toolVersionLength > 0)
+                        && formattedXmlBuffer.toString().contains("tool=\"" + toolName + "\"")) {
                     formattedXmlBuffer.delete(0, indexGt + 1);
                     formattedXmlBuffer.delete(formattedXmlBuffer.length() - endCharsLength, formattedXmlBuffer.length());
                 }