Committing jdt core pref