Fix with the cbmc path
Javaw replaced with java