Remove dependency of jmokit