more sonarqube violations fixes for sat4j core

2 jobs for master in 44 minutes and 11 seconds (queued for 2 seconds)