public DebuggerOptions Clone()
{
DebuggerOptions options = new DebuggerOptions ();
options.file = file;
options.inferior_args = clone (inferior_args);
options.JitOptimizations = JitOptimizations;
options.jit_arguments = clone (jit_arguments);
options.WorkingDirectory = WorkingDirectory;
options.IsScript = IsScript;
options.start_target = start_target;
options.debug_flags = debug_flags;
options.DebugOutput = DebugOutput;
options.MonoPrefix = MonoPrefix;
options.MonoPath = MonoPath;
options.user_environment = clone (user_environment);
return options;
}