$ 0 0 Problem disappeared. After an update of Eclipse Platform (-> Help -> Check for Updates) the problem was gone.