tree 41c49220641b192d69e03d1e08dd14cd0835b033
parent 7040c93714187a5721ee8831ef0d12f6c4e16bbf
author Michael Keppler <Michael.Keppler@gmx.de> 1568998523 +0200
committer Michael Keppler <Michael.Keppler@gmx.de> 1568998523 +0200

Migrate JDT project settings to 2019-09 format

There is no change in settings. All the newly added lines are the
default values (e.g. iterate all project property pages and apply
without changing any value).

Be aware that the projects currently do not use identical settings
everywhere. That can be cleaned up later.

Change-Id: Ia6c9b0b1873ed62cedecfeead6822f1700fa72d0
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>