core - Revision 18242: /branches/2695_dataset-ids/HeuristicLab.CodeEditor/3.4/Properties