abstract protected void setOutlinePageInput(JavaOutlinePage page, IEditorInput input);
protected void setOutlinePageInput(JavaOutlinePage page, IEditorInput input) { if (page == null) return;  IJavaElement je= getInputJavaElement(); if (je != null && je.exists()) page.setInput(je); else page.setInput(null);  }
	abstract protected void setOutlinePageInput(JavaOutlinePage page, IEditorInput input);