[jboss-jira] [JBoss JIRA] Created: (JBPM-693) Change ant build scripts in starter kit to make the JBoss HTTP port number as a property instead of hardcoded.