svoid javaEval_useDiskCache() {
  setOptMC(transpileRaw_useDiskCache := true);
}