I20180531-1245
Change for eclipse.jdt.ui Change-Id: I75936d31a5aa0049bf1e86f2ed14fbd0ff1ed36f Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Change for eclipse.jdt.ui Change-Id: I75936d31a5aa0049bf1e86f2ed14fbd0ff1ed36f Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>