@Override
  public void save(VMOptions.MemoryKind option, int value) throws IOException {
    VMOptions.setOption(option, value);
  }
@Override
  public void save(VMOptions.MemoryKind option, int value)