Update NusmvTranslationTool.java