public void handleOpenFile(ViewUpdate msg)
public void handleOpenFile(ApplicationEvent event)
	public void handleOpenFile(ViewUpdate msg)	{		if(msg.getWhat() == ViewUpdate.CREATED)		{			Iterator i = filenames.iterator();			while (i.hasNext())				jEdit.openFile(msg.getView(),(String)i.next());			MacOSPlugin.started = true;			NSApplication app = NSApplication.sharedApplication();			app.setServicesProvider(new Delegate());		}	} //}}}