eclipse jdt plugin patch to support some feature needed by everybody.
Primary LanguageJavaEclipse Public License 1.0EPL-1.0