core - Revision 18242: /branches/2839_HiveProjectManagement/HeuristicLab.CodeEditor/3.4/Properties