language: java
jdk:
  - oraclejdk7

sudo: false

before_script:
  - wget http://google-web-toolkit.googlecode.com/files/gwt-2.5.1.zip
  - unzip -qq gwt-2.5.1.zip
  - export GWT_HOME=$PWD/gwt-2.5.1
  - export PATH=$PATH:$GWT_HOME

script:
  - ant test.prod

language: java
jdk:
  - oraclejdk7

sudo: false

before_script:
  - wget http://csdms.colorado.edu/pub/tools/gwt/gwt-2.5.1.zip
  - unzip -qq gwt-2.5.1.zip
  - export GWT_HOME=$PWD/gwt-2.5.1
  - export PATH=$PATH:$GWT_HOME

script:
  - ant test.prod

Update link to GWT 2.5.1 source
Update link to GWT 2.5.1 source

The googlecode.com link was dead. For convenience, I'll store the GWT
2.5.1 zip file on the CSDMS FTP site.
