styledText.addMouseTrackListener(this);
styledText.addListener(SWT.MouseUp, mouseUpListener);
ColorRegistry colorRegistry = JFaceResources.getColorRegistry();
propertyChangeListener = new HyperlinkColorChangeListener();
colorRegistry.addListener(propertyChangeListener);
revealJob.setSystem(true);
document.addDocumentListener(documentListener);
document.addPositionUpdater(positionUpdater);
}