String () { int[] indexes = getSuccessorIndexes(); return "THROW " + ((ExceptionTransfer)getTransfer().getTarget()).getThrowable() + (indexes.length == 0 ? "" : " [targets: " + Arrays.toString(indexes) + "]"); }