Tweak the code so the --uk option to JBTool works.