tree 142b470362e916c6c4d022f8c8746533b9666d99
parent 0f06de7c557532e7a2cbb12d138bd9b86bf95f2e
author Stephan Herrmann <stephan.herrmann@berlin.de> 1484230106 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1484230106 +0100

Bug 510360: Adjust to changes from JDT's Bug 507795