{
super(PAGE_ID);
JavaTextTools textTools = JavaPlugin.getDefault().getJavaTextTools();
IPreferenceStore store = JavaPlugin.getDefault().getCombinedPreferenceStore();
setPreferenceStore(store);
setSourceViewerConfiguration(new PropertiesFileSourceViewerConfiguration(
textTools.getColorManager(), store, this,
IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING));
/*IFileEditorInput fileInput = (IFileEditorInput) editor.getEditorInput();
this.setDocumentProvider(fileInput);*/
}