move IntegerChecks.java to TaintJ repo