eclipse.preferences.version=1
encoding//src/gui/lecture/EditLectureAllgemein_GUI.java=UTF-8