#131 domain change 'community.jboss.org' => 'developer.jboss.org' reflected in documentation files and comments.