Build: jar files are now downloaded using Maven if possible (and cached in the local Maven repository).