code: public void setSource(final String sourceText) {
  		String formattedSource;
  
  		if (sourceText == null) {
  			formattedSource = "";
  		} else {
  			formattedSource = WebUtilities.encode(sourceText); // XML escape content
  		}
  
  		source.setText(formattedSource);
  	}
docs: Sets the source code to be displayed in the panel.
  
  @param sourceText the source code to display.