164165166167168169170171172173174
} for (int h = 0; h < namespace.length - 1; h++) { if (rnd.nextInt(2) == 0) current.removeNamespace(namespace[h]); else { current.addNamespace(namespace[h]); contents[width - 1 + width * h] = true; }
262263264265266267268269270271272
label = "add namespace " + namespace[j]; break; case 14: case 15: current.removeNamespace(namespace[j]); for (int k = 0; k < width; k++) contents[k + width * j] = false; label = "remove namespace " + namespace[j]; break;
123124125126127128129130131132133
221222223224225226227228229230231