# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1400185534 -7200
# Node ID 5ec52f033e588f6f198d5e8bbc8de953b24025af
# Parent  6a13c422fca496577f4e6d9a13cc1eea7a409d69
mxtool: minor fix of optional field usage

diff -r 6a13c422fca4 -r 5ec52f033e58 mxtool/mx.py
--- a/mxtool/mx.py	Thu May 15 19:03:16 2014 +0200
+++ b/mxtool/mx.py	Thu May 15 22:25:34 2014 +0200
@@ -603,7 +603,7 @@
         if includedInJDK and java().javaCompliance >= JavaCompliance(includedInJDK):
             return None
 
-        return _download_file_with_sha1(self.name, path, self.urls, self.sha1, sha1path, resolve, self.optional)
+        return _download_file_with_sha1(self.name, path, self.urls, self.sha1, sha1path, resolve, not self.optional)
 
     def get_source_path(self, resolve):
         if self.sourcePath is None: