fixed more sonarqube violatons (sat4j core done)

2 jobs for master in 49 minutes and 26 seconds (queued for 6 seconds)