/**
* create a ToolEditor page
*/
public void createToolEditorPage(){
try {
editor = new ToolEditor();
int index = addPage(editor, getEditorInput());
setPageText(index, "Source");
document = editor.getDocumentProvider().getDocument(editor.getEditorInput());
//TODO