String () { final StringBuilder builder = new StringBuilder(); builder.append(myNumber); builder.append("("); for (Instruction successor : mySuccessors) { builder.append(successor.num()); builder.append(','); } if (!mySuccessors.isEmpty()) builder.delete(builder.length() - 1, builder.length()); builder.append(") ").append(getElementPresentation()); return builder.toString(); }