# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1395841430 -3600
# Node ID 5823c399e28f174b0232ac938603acc899f505ed
# Parent  a6c1c3eb20c420573877b93bd4f38ceb43df2068
pylint fixes

diff -r a6c1c3eb20c4 -r 5823c399e28f mxtool/mx.py
--- a/mxtool/mx.py	Wed Mar 26 14:34:08 2014 +0100
+++ b/mxtool/mx.py	Wed Mar 26 14:43:50 2014 +0100
@@ -122,7 +122,7 @@
         jdk = java(self.javaCompliance)
         if jdk is None and self.javaCompliance < java().javaCompliance:
             abort('Cannot find ' + str(self.javaCompliance) + ' JDK required by ' + name + '. ' +
-                  'Specify it with --extra-java-homes option or EXTRA_JAVA_HOMES environment variable.')  
+                  'Specify it with --extra-java-homes option or EXTRA_JAVA_HOMES environment variable.')
 
         # Create directories for projects that don't yet exist
         if not exists(d):
@@ -1410,7 +1410,7 @@
 
     def __hash__(self):
         return hash(self.jdk)
-    
+
     def __cmp__(self, other):
         if isinstance(other, JavaConfig):
             return cmp(self.javaCompliance, other.javaCompliance)
@@ -3263,10 +3263,10 @@
 
         jdk = java(p.javaCompliance)
 
-        if not jdk:        
+        if not jdk:
             log('Excluding {0} (JDK with compliance level {1} not available)'.format(p.name, p.javaCompliance))
             continue
-        
+
         jdks.add(jdk)
 
         out = XMLDoc()