JDT/Core update: add folder that was dropped during merge
2 files changed