I20180531-2125
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>