167168169170171172173174175176177
{ if (rnd.nextInt(2) == 0) current.removeNamespace(namespace[h]); else { current.addNamespace(namespace[h]); contents[width - 1 + width * h] = true; } for (int k = 0; k < width - 1; k++) { if (rnd.nextInt(2) == 0)
254255256257258259260261262263264
label = "remove one " + name[i + width * j]; break; case 12: case 13: current.addNamespace(namespace[j]); for (int k = 0; k < width; k++) contents[k + width * j] = true; label = "add namespace " + namespace[j]; break;
126127128129130131132133134135136
213214215216217218219220221222223