public StopAction(JavaSnippetEditor editor, String label) { super(editor, label); setDescription("Restarts the page"); setToolTipText("Terminate");
public StopAction(JavaSnippetEditor editor) { super(editor, PREFIX);
	public StopAction(JavaSnippetEditor editor, String label) {		super(editor, label);		setDescription("Restarts the page");		setToolTipText("Terminate");		setImageDescriptor(JavaPluginImages.DESC_TOOL_TERMSNIPPET);	}