old_opt = new AppOptions(); old_opt.setOptionsFrom(opt);
old_opt = _opt.copy();
    public OptionDlg(Frame owner, String title, AppOptions _opt) {        super(owner, title, true);        opt = _opt;                // Kopie fr den Cancel-Fall        old_opt = new AppOptions();        old_opt.setOptionsFrom(opt);    }