A JSPWikiPlugin, see [ColorCodePlugin_page]