Merge branch 'runtime-extensions' of...

Merge branch 'runtime-extensions' of git-st.inf.tu-dresden.de:rschoene/trainbenchmark into runtime-extensions

trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/repair/JastaddTransformationRepairConnectedSegments.java

@@ -21,6 +21,8 @@ public class JastaddTransformationRepairConnectedSegments<TJastaddDriver extends
 
       final Segment segment2 = match.getSegment2();
 
+      java.util.List<Sensor> sensorsToRemoveSegmentFrom = new java.util.ArrayList<>();
+
       // delete all references to segment2 (monitoring sensors and other segments connecting to it)
       for (Region region : driver.getModel().getRegionList()) {
         for (Sensor sensor : region.getSensorList()) {