This Bugzilla instance is deprecated, and most Eclipse projects now use GitHub or Eclipse GitLab. Please see the deprecation plan for details.
Bug 431542 - org.eclipse.ui.navigator.resources @Override is missing
Summary: org.eclipse.ui.navigator.resources @Override is missing
Status: VERIFIED FIXED
Alias: None
Product: Platform
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 4.4   Edit
Hardware: PC Linux
: P3 normal (vote)
Target Milestone: 4.4 M7   Edit
Assignee: Lars Vogel CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-03-28 18:10 EDT by Philip Wenig CLA
Modified: 2014-04-07 06:05 EDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Philip Wenig CLA 2014-03-28 18:10:06 EDT 
The @Override annotation is missing in the ui.navigator plug-in.
Comment 2 Lars Vogel CLA 2014-04-07 06:05:48 EDT 
Enforcing @Override and @Deprecated annotations with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=8bcf6bfc89563bf6cf6d922ee4474b8cd5628dd2