I20171218-2000
This reverts commit 9edc5d892d396f34182031d9f8718ae96cf1a0c9. Overriding does not add new API. You probably got caught by a false PDE error (see https://bugs.eclipse.org/528790. Change-Id: Idd727a5b6ce8ff22cb99329a59fe14c6851cc902
This reverts commit 9edc5d892d396f34182031d9f8718ae96cf1a0c9. Overriding does not add new API. You probably got caught by a false PDE error (see https://bugs.eclipse.org/528790. Change-Id: Idd727a5b6ce8ff22cb99329a59fe14c6851cc902