color_comment=0,128,0 color_doc=128,128,128 color_keyword=0,0,255 color_normal=0,0,0 color_number=0,0,0 color_string=163,21,21 eclipse.preferences.version=1 overriddenByCSS=,color_normal,color_string,color_number,color_comment,color_doc,color_keyword,