Removed dependency on SMT project from classpath