good catch, you're absolutely right. I have to make sure that the prefs-value is set when restarting Eclipse.