dtdComment=\#C7DD0C | null | null | false | null | null
dtdData=\#D8D8D8 | null | null | null | null | null
dtdDefault=\#D8D8D8 | null | null | null | null | null
dtdKeyword=\#8DCBE2 | null | null | null | null | null
dtdString=\#FFC600 | null | null | null | null | null
dtdSymbol=\#BED6FF | null | null | null | null | null
dtdTag=\#BED6FF | null | null | null | null | null
dtdTagName=\#BED6FF | null | null | null | null | null
eclipse.preferences.version=1
overriddenByCSS=,dtdKeyword,dtdTag,dtdString,dtdTagName,dtdDefault,dtdData,dtdSymbol,dtdComment,
