private void insert(String str, int dot, int style) {
		try {
			SimpleAttributeSet attributes = outputAttributes;
			switch (style) {
			  case INPUT_STYLE: attributes = inputAttributes; break;
			  case ERROR_STYLE: attributes = errorAttributes; break;
			}
			document.insertString(dot, str, attributes);
		} catch (BadLocationException ex) {
			/* Empty */
		}
	}