proper update URLs
clean up ant build file
Merge branch 'protege-auto-update-'