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