reduce visibility of constant.

Author: kfriedberger

src/org/sosy_lab/java_smt/basicimpl/AbstractFormulaManager.java

@@ -91,7 +91,7 @@ public abstract class AbstractFormulaManager<TFormulaInfo, TType, TEnv, TFuncDec
    * SMTInterpol has problems with some of them. For consistency, we disallow those names for all
    * solvers.
    */
-  static final CharMatcher DISALLOWED_CHARACTERS = CharMatcher.anyOf("|\\");
+  private static final CharMatcher DISALLOWED_CHARACTERS = CharMatcher.anyOf("|\\");
 
   private final @Nullable AbstractArrayFormulaManager<TFormulaInfo, TType, TEnv, TFuncDecl>
       arrayManager;
@@ -426,7 +426,7 @@ private Formula replace(Formula f) {
    * <p>This method must be kept in sync with {@link #checkVariableName}.
    */
   @Override
-  public boolean isValidName(String pVar) {
+  public final boolean isValidName(String pVar) {
     if (pVar.isEmpty()) {
       return false;
     }