Eclipse variable de.prob.ui.model_loaded is now set correctly.