[jboss-dev] 500 error on jboss.org, has it been reported before?