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