RE: [jboss-dev] JRE or JDK and bin/run.sh