remove redundant 'static' modifier from interface members.
remove redundant 'static' modifier from interface members.

Thanks to CheckStyle.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt