jvm_tool_mixin.py doesn't use anything from option in my commit