jstl dom4j-encode