/** Enable/disable warm starting. For testing. */ public void setWarmStarting(boolean flag) { jniSetWarmStarting(addr, flag); }