* eclipse editor association, defaulting to text editor
* if no association is found
*/
public static void openEditor(String contents, String name) {
IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow();
IStorage storage = new StringStorage(contents, name);
IStorageEditorInput input = new StringInput(storage);
IWorkbenchPage page = window.getActivePage();
IEditorDescriptor desc = PlatformUI.getWorkbench().
getEditorRegistry().getDefaultEditor(name);
// If there is no editor associated with the given file name, we'll just