tree 9dba03ae3820257c1d6ff29128c734ee296caee3
parent ebcc009974e521277f28e2cfdff40b4b930a5594
author Dani Megert <dmegert> 1436784195 +0200
committer Dani Megert <dmegert> 1436784195 +0200

Adjusted API filters to workaround bug 430640: Wrong API Tools errors in org.eclipse.core.runtime (ADDED and REMOVED annotation types)