/* (non-Javadoc) * @see org.eclipse.ui.console.IPatternMatchListener#getPattern() */ @Override public String getPattern() { return fExtension.getPattern(); }