tree 604aa544372003cc9ac4ccd787e447787c1d265a
parent 52ed71fce38d64c84ed0f430d0d9bcd15f1b89f7
author Stephan Herrmann <stephan.herrmann@berlin.de> 1516917435 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1516917435 +0100

Resolve more compile errors to adjust to change in JDT/UI