issue #4174 add richText.js to build.xml