Fix broken ant build - java version was too old.