yet more sonarqube violations fixes for sat4j core

2 jobs for master in 44 minutes and 59 seconds (queued for 1 second)