// Perform updates on the UI thread
private Runnable fViewRefresher = new Runnable() {
- public void run() {
+ @Override
+ public void run() {
if ((fViewer != null) && (!fViewer.getTree().isDisposed())) {
Object[] elements = fViewer.getExpandedElements();
fViewer.refresh();
fWorkspace = ResourcesPlugin.getWorkspace();
fResourceChangeListener = new IResourceChangeListener() {
- public void resourceChanged(IResourceChangeEvent event) {
+ @Override
+ public void resourceChanged(IResourceChangeEvent event) {
if (event.getType() == IResourceChangeEvent.POST_CHANGE) {
fProjectRoot.refreshChildren();
refresh();