Changes to fix launch in eclipse+jboss.