Project: JDT
Bug 53311 [KeyBindings] F5 doesn't work
Reported: 2004-02-27 14:48:23 | Status: verified fixed

Version: 3.0.0 Build id: 200312182000

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerActionGroup.java