Edits to make build script compatible with Java 1.7
Authored by: tmosbruger 2013-03-21
Parent: [r82]
Child: [r84]
