ef5eb44 Merge branch 'jenkins'

Merged and Committed by msrb 9 years ago
    Merge branch 'jenkins'
    
    Conflicts:
    	javapackages-tools.spec
    
        
file modified
+4 -8