fix some compilation issues

Maximilien Siavelis

2018-01-05 60ae840790232c52ea3f456881771edee02d35ac

1
2
eclipse.preferences.version=1
org.eclipse.ltk.core.refactoring.enable.project.refactoring.history=false