} else if (action instanceof SetNwSrc) { SetNwSrc ans = (SetNwSrc) action; actions.append(action.getType().toString()).append(" = ").append(ans.getAddressAsString()).append("<br>"); } else if (action instanceof SetNwDst) { SetNwDst and = (SetNwDst) action;