Update after Philippe's review
12 files changed
tree: 3728dc9b7e4af5c2ad32e775353224813f59bf44
  1. org.eclipse.jdt.core/
  2. .gitignore