@Override public void flush() throws CoreException { super.flush(); }
@Override public void clear() throws CoreException { super.clear(); }