patched jboss developer website indexer to correctly decode html
entities in title