diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/browsers/ArchiveFilter.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/browsers/ArchiveFilter.java | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/browsers/ArchiveFilter.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/browsers/ArchiveFilter.java index 32256bde6..e851b1ee9 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/browsers/ArchiveFilter.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/browsers/ArchiveFilter.java @@ -63,9 +63,12 @@ public class ArchiveFilter extends ViewerFilter { * Search for all archives in the workspace. */ private void init() { - BusyIndicator.showWhile(DebugUIPlugin.getStandardDisplay(), () -> { - fArchives = new HashSet<IResource>(); - traverse(ResourcesPlugin.getWorkspace().getRoot(), fArchives); + BusyIndicator.showWhile(DebugUIPlugin.getStandardDisplay(), new Runnable() { + @Override + public void run() { + fArchives = new HashSet<IResource>(); + traverse(ResourcesPlugin.getWorkspace().getRoot(), fArchives); + } }); } |