private void updateInfo() {
			StyledDocument doc = info.getStyledDocument();
			try {
				doc.remove(0, doc.getLength());
	            for (int i=0; i < content.length; i++) {
	                doc.insertString(doc.getLength(), content[i] + newline,
	                                 doc.getStyle(style[i]));
	            }
	        } catch (BadLocationException ble) {
	            System.err.println("Couldn't insert text into text pane.");
	        }
		}