Fortress

После коммитов r709 и r710 появилась куча Warning'ов. Нужно от них избавиться.

Description    Resource    Path    Location    Type
The import java.io.IOException is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 3    Java Problem
The import java.io.Reader is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 4    Java Problem
The import java.io.StreamTokenizer is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 5    Java Problem
The import java.io.StringReader is never used    ESExpr.java    /fortress/src/main/java/ru/ispras/fortress/esexpr    line 6    Java Problem
The import java.util.ArrayList is never used    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 28    Java Problem
The import java.util.List is never used    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 27    Java Problem
The method tryToParseError(String, SolverResultBuilder) from the type Z3TextSolver is never used locally    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 245    Java Problem
The method tryToParseStatus(String, SolverResultBuilder) from the type Z3TextSolver is never used locally    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 227    Java Problem
The method tryToParseVariable(String, Variable, SolverResultBuilder, Map<String,Variable>) from the type Z3TextSolver is never used locally    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 302    Java Problem
The value of the local variable vi is not used    Z3TextSolver.java    /fortress/src/main/java/ru/ispras/fortress/solver/engine/z3    line 123    Java Problem