org.eclipse.jdt patch to support some feature needed by everybody.