Community
Participate
Working Groups
Follow up from bug 569614. Records and instanceof pattern have been promoted to standard so need to remove unused api filters after promoting these preview features to standard.
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/174272
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/174272 was merged to [BETA_JAVA16]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=1d30128437573db111186e3204e697a3210eeb22