Added settings for the jess/CLIPS highlighter