tree b783519e61216b735b899fdd117d152b5f9da9c8
parent 10634b245033e03893869ecf847c2ca7d333880e
author Stephan Herrmann <stephan.herrmann@berlin.de> 1579003442 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1579003442 +0100

Start building towards 2020-03
- bump up jdt.core version in map