Make constants final in  DepQBF4J
Merge pull request #3 from sadger/constant-fix

Make constants final in  DepQBF4J