Community
Participate
Working Groups
Update reference/preferences/java/compiler/ref-preferences-errors-warnings.htm help page with the documentation for the new options in https://www.eclipse.org/eclipse/news/4.7/M6/#JDT.
Till, could you please update the documentation?
New Gerrit change created: https://git.eclipse.org/r/97601
Gerrit change https://git.eclipse.org/r/97601 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=12a3e18f8eb0486fbe5c00a482cf6c9a854b996f
(In reply to Noopur Gupta from comment #1) > Till, could you please update the documentation? Done. (Mostly copied from the javadoc for the corresponding options in JavaCore)
Verified as fixed in I20170528-2000.