fixed more sonarqube violatons in sat4j core

2 jobs for master in 54 minutes and 22 seconds (queued for 10 seconds)