fixed more sonarqube violatons in sat4j core (and pb factory)

2 jobs for master in 49 minutes (queued for 8 seconds)