docs: private static Options getRunOptionsWithoutDeprecatedOptions(Options options) {
  		Options o = getProgramSpecificOptionsWithoutDeprecatedOptions(options);
  		o.addOption(SAVEPOINT_PATH_OPTION);
  		return o.addOption(SAVEPOINT_ALLOW_NON_RESTORED_OPTION);
  	}