Added java sdk by default to the plugin fm (dependencies.fm). Edited the
tautologyChecker to remove  all PAUNKNOWN (  symbolic name unknown
plugins ) from the constaints.fm and then run the tautology check.