if (currentNet.getToolspecificArray(j).isSetVariables()) {
TVariables vlist = currentNet.getToolspecificArray(
j).getVariables();
for (int x = 0; x < vlist.sizeOfVariableArray(); x++) {
TVariable var = vlist.getVariableArray(x);
currentPetrinet.getElementContainer()
.addVariable(var.getName(),
var.getType().getLocalPart());
}
}
} else {
currentPetrinet.addUnknownToolSpecs(currentNet
.getToolspecificArray(j));