lonsing/depqbf — pull request #3 by sadger (2014-11-30 09:45:56+00:00)
Title: Make constants final in  DepQBF4J

Firstly, I am finding the solver very handy and fast for my applications especially the JNI interface is very useful.

While using the java interface through JNI I found the constants declared in DepQBF4J.java were not final.
The problem with this is a switch statement requires a constant expression. At the moment one cannot do something like:
```java
public boolean isSatisfiable() {
byte exitCode = DepQBF4J.sat();
switch (exitCode){
case DepQBF4J.RESULT_SAT:
return true;
case DepQBF4J.RESULT_UNSAT:
return false;
default:
.....
}
```
The changes just add a final modifier to the constants so they can be used as such.