tree 2b528d859a71c16e2c1f2d651644d992c2d6b68b
parent 3e64dbec989eb79d700a2cd7705b8d60e850138e
author Dani Megert <dmegert> 1436784195 +0200
committer Dani Megert <dmegert> 1436870548 +0200

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