fixed most sonarqube violations in org.sat4j and org.sat4j.core

2 jobs for master in 54 minutes and 36 seconds (queued for 3 seconds)