}
template.set("insertion-delay", options.getIntegerOption("InsertionDelay").get());
template.set("clear-on-next-restart", options.getBooleanOption("ClearOnNextRestart").get());
template.set("really-clear-on-next-restart", options.getBooleanOption("ReallyClearOnNextRestart").get());
}
}
template.set("insertion-delay", options.getIntegerOption("InsertionDelay").get());
template.set("clear-on-next-restart", options.getBooleanOption("ClearOnNextRestart").get());
template.set("really-clear-on-next-restart", options.getBooleanOption("ReallyClearOnNextRestart").get());
}