if (DEBUG) { System.err.println("Detector " + factory.getShortName() + " " + (enabled ? "enabled" : "disabled") + ", userPreferences="+System.identityHashCode(userPreferences)); }
					public void choose(boolean enabled, String what) {						DetectorFactory factory = DetectorFactoryCollection.instance()							.getFactory(what);						if (factory == null)							throw new IllegalArgumentException("Unknown detector: " + what);						userPreferences.enableDetector(factory, enabled);					}