diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java index 5a736f129c8c2c96d89bb70407e786c3f430d0cb..0f1f0c9ab820cd039e50527fa520ae01456c0cc1 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java +++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java @@ -51,7 +51,7 @@ public class PnmlExporter { try { File myObj = new File(targetPath); if (myObj.createNewFile()) { - logger.info("File created: " + myObj.getName()); + // logger.info("File created: " + myObj.getName()); } else { logger.info("File already exists."); } diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java index faa335305c255e3f66762aa2b7f6b38ffb476ae3..6c1698ffbd3dfbbf541949e4a289b64ad6ba462d 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java +++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java @@ -9,25 +9,27 @@ public class PrimitiveElementsConverter { private static StringBuffer clipToolSpecificsFormattedXmlBuffer(String toolName, String toolVersion, StringBuffer formattedXmlBuffer) { - if (formattedXmlBuffer != null && formattedXmlBuffer.indexOf("</toolspecific>") > -1) { + StringBuffer bufferCopy = new StringBuffer(formattedXmlBuffer); + + if (bufferCopy != null && bufferCopy.indexOf("</toolspecific>") > -1) { int endCharsLength = 15; int toolNameLenth = (toolName == null) ? 0 : toolName.length(); int toolVersionLength = (toolVersion == null) ? 0 : toolVersion.length(); int indexGt = 0; - if (formattedXmlBuffer.indexOf("?xml") > -1) { - indexGt = formattedXmlBuffer.indexOf(">", formattedXmlBuffer.indexOf(">") + 1); + if (bufferCopy.indexOf("?xml") > -1) { + indexGt = bufferCopy.indexOf(">", bufferCopy.indexOf(">") + 1); } else { - indexGt = formattedXmlBuffer.indexOf(">"); + indexGt = bufferCopy.indexOf(">"); } if (toolNameLenth > 0 || toolVersionLength > 0) { - formattedXmlBuffer.delete(0, indexGt + 1); - formattedXmlBuffer.delete(formattedXmlBuffer.length() - endCharsLength, formattedXmlBuffer.length()); + bufferCopy.delete(0, indexGt + 1); + bufferCopy.delete(bufferCopy.length() - endCharsLength, bufferCopy.length()); } } - return formattedXmlBuffer; + return bufferCopy; } public static RefTransitionHLAPI convertRefTransitionToPnmlObject(RefTransition refTransition, TransitionHLAPI referencedTransition, RefTransitionHLAPI referencedRefTransition){