Update CBMCSuiteManager.java