}
    private void viewDetectorDetails(DetectorFactory factory) {	String detailHTML = factory.getDetailHTML();	if (detailHTML == null) {	    detectorDescription.setText("");	} else {	    detectorDescription.setContentType("text/html");	    detectorDescription.setText(detailHTML);	}    }