4.13 update for org.eclipse.tips.core

For https://git.eclipse.org/r/145506

Change-Id: Ib6f9152cb7063307438eecd8f9c1201b2a47c0db
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
2 files changed