warning during building with ant

[arademaker]

compile:
    [javac] /Users/ar/workspace/sigmakee/build.xml:31: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds

The second suggestion in https://stackoverflow.com/questions/5103384/ant-warning-includeantruntime-was-not-set seems to solve the problem.

[arademaker]

after the last commit, ant failed to compile the code in the master branch:

$ ant
Buildfile: /Users/ar/workspace/sigmakee/build.xml

init:
     [echo] CATALINA_HOME is set to = /Users/ar/workspace/apache-tomcat-8.5.23
     [echo] SIGMA_HOME is set to = /Users/ar/workspace
     [echo] SIGMA_SRC is set to = /Users/ar/workspace/sigmakee
     [echo] KBs_HOME is set to = /Users/ar/workspace/KBs
     [echo] Java Version via Ant: 1.8
     [echo] Java Version System Prop: 1.8.0_181

compile:
    [javac] Compiling 170 source files to /Users/ar/workspace/sigmakee/build/classes
    [javac] /Users/ar/workspace/sigmakee/src/java/com/articulate/sigma/InferenceTestSuite.java:173: warning: [deprecation] tptpParse(Formula,boolean,KB) in SUMOformulaToTPTPformula has been deprecated
    [javac]     	stptp.tptpParse(conjectureFormula,true,kb);
    [javac]     	     ^
    [javac] /Users/ar/workspace/sigmakee/src/java/com/articulate/sigma/trans/SUMOtoTFAform.java:1489: error: cannot find symbol
    [javac]         fp.addTypes = false;
    [javac]           ^
    [javac]   symbol:   variable addTypes
    [javac]   location: variable fp of type FormulaPreprocessor
    [javac] /Users/ar/workspace/sigmakee/src/java/TPTPWorld/InterfaceTPTP.java:505: warning: [deprecation] tptpParse(Formula,boolean,KB) in SUMOformulaToTPTPformula has been deprecated
    [javac]     	stptp.tptpParse(conjectureFormula,true, kb);
    [javac]     	     ^
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 1 error
    [javac] 2 warnings

BUILD FAILED
/Users/ar/workspace/sigmakee/build.xml:31: Compile failed; see the compiler error output for details.

[apease]

sorry, I missed checking in a file, I've pushed the changes, please try again

[arademaker]

OK, 8e5fb58 solves the building error. But we still have two warnings

    [javac] /Users/ar/workspace/sigmakee/src/java/com/articulate/sigma/InferenceTestSuite.java:173: warning: [deprecation] tptpParse(Formula,boolean,KB) in SUMOformulaToTPTPformula has been deprecated
    [javac]     	stptp.tptpParse(conjectureFormula,true,kb);
    [javac]     	     ^
    [javac] /Users/ar/workspace/sigmakee/src/java/TPTPWorld/InterfaceTPTP.java:505: warning: [deprecation] tptpParse(Formula,boolean,KB) in SUMOformulaToTPTPformula has been deprecated
    [javac]     	stptp.tptpParse(conjectureFormula,true, kb);
    [javac]     	     ^