tree 810a25e4f58e922d94787d424d1b1b8e61f6bbdd
parent a6fb2ad7add1e04a02b39d1339885108c89d8aa4
author Stephan Herrmann <stephan.herrmann@berlin.de> 1490477444 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1490477444 +0100

Disable new JDT index until issues have been sorted out
- correcting the mistake in previous commit