docs: private JScrollPane getDefaultPane() {
  		if (defaultPane == null) {
  			defaultPane = new JScrollPane();
  			defaultPane.setViewportView(getDefaultOutput());
  			defaultPane.setName("defaultPane");
  			defaultPane.setHorizontalScrollBarPolicy(javax.swing.JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
  		}
  		return defaultPane;
  	}