Revision 2f93319f build.xml

b/build.xml
16 16 
	<!-- Library and runtime dependencies -->
17 17 
    <property name="jboss.version" value="5.1.0" />
18 18 
    <property name="jboss.filename" value="jboss-5.1.0.GA-jdk6.zip"/>
19 
	<property name="jboss.download.url" value="http://sourceforge.net/projects/jboss/files/JBoss/JBoss-5.1.0.GA/jboss-5.1.0.GA-jdk6.zip/download"/>
19 
	<property name="jboss.download.url" value="http://switch.dl.sourceforge.net/project/jboss/JBoss/JBoss-${jboss.version}.GA/${jboss.filename}"/>
20 20 
    <property name="gwt.path" value="${deps.dir}/gwt-2.0.4"/>
21 21 
    <property name="gwt.filename" value="gwt-2.0.4.zip"/>
22 22 
	<property name="gwt.download.url" value="http://google-web-toolkit.googlecode.com/files/gwt-2.0.4.zip"/>

Also available in: Unified diff