jframeを継承した外部クラスのsetDefaultCloseOperation(EXIT_ON_CLOSE)が内部クラスのjframeにも適応されるのはなぜですか？

Question

実現したいこと

私はswingをつかってテキストRPG（ボタン入力で別ウィンドウが開く）を作成しています。
外部クラスにjframeを継承したメインウィンドウを作り、
その中のボタンをクリックによって新しいウィンドウを描画しています。
setDefaultCloseOperation(EXIT_ON_CLOSE)メソッドは、外部クラスのjframeにコードを書いています。
内部クラスの新しいウィンドウの×ボタンをクリックすると、プログラムがすべて終了してしまいます。
なぜなのかを教えて下さい。

おそらく該当箇所ですが、メインフレームを変数に入れなければ、新しいウィンドウを消しても古いウィンドウは残り思った通りに動きます。

↓すべて終了してしまうコード

public class StartController {
	static MainFrame mainFrame = null;
	public StartController() {
		File file = new File("C:/java/pref.properties");
	
		if (file.exists()) {
			PrefModel.loadPrefModel();
		} else if (!(file.exists())) {
			PrefModel.createPrefModel();
		}

		PrefModel.loadPrefModel();
	
		mainFrame =  new  MainFrame();
	}

}

↓古いウィンドウは残るコード

public class StartController {
	public StartController() {
		File file = new File("C:/java/pref.properties");
	
		if (file.exists()) {
			PrefModel.loadPrefModel();
		} else if (!(file.exists())) {
			PrefModel.createPrefModel();
		}

		PrefModel.loadPrefModel();
	
                new  MainFrame();
	}

}

コード全体

import java.awt.Dimension;
import java.awt.FlowLayout;
import java.awt.GridLayout;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.io.File;

import javax.swing.JButton;
import javax.swing.JComboBox;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JMenu;
import javax.swing.JMenuBar;
import javax.swing.JMenuItem;
import javax.swing.JPanel;
import javax.swing.JTextField;
import javax.swing.JTextPane;

public class StartController {
	static MainFrame mainFrame = null;
	public StartController() {
		File file = new File("C:/java/pref.properties");
	
		if (file.exists()) {
			PrefModel.loadPrefModel();
		} else if (!(file.exists())) {
			PrefModel.createPrefModel();
		}

		PrefModel.loadPrefModel();
	
		mainFrame =  new  MainFrame();
	}

}

class MainFrame extends JFrame implements ActionListener {
	JMenuBar menuBar = new JMenuBar();
	JMenu confMenu = new JMenu("conf");
	JMenuItem prefItem = new JMenuItem("pref");
	HomePanel homePanel = new HomePanel();
	JsonHelper jsonHelper = new JsonHelper();

	MainFrame() {
		setDefaultCloseOperation(EXIT_ON_CLOSE);
		setSize(PrefModel.WIDTH, PrefModel.HEIGHT);
		setLocationRelativeTo(rootPane);

		confMenu.add(prefItem);
		menuBar.add(confMenu);
		setJMenuBar(menuBar);
		getContentPane().add(homePanel);
		prefItem.addActionListener(this);

		pack();
		setResizable(false);
		setVisible(true);

	}

	public void actionPerformed(ActionEvent e) {
		if (e.getSource() == prefItem) {
			new PrefFrame();
		}
	}

	class HomePanel extends JPanel implements ActionListener {
		JPanel viewPanel = new JPanel();
		JTextPane textPane = new JTextPane();
		JLabel imageLabel = new JLabel();
		JButton exprollBtn = new JButton("探検");
		JButton equipBtn = new JButton("装備");
		JPanel movePanel = new JPanel();

		HomePanel() {
			setPreferredSize(new Dimension(PrefModel.WIDTH,PrefModel.HEIGHT));
		setLayout(new GridLayout(1, 2));
			viewPanel.setLayout(new GridLayout(2, 1));
			viewPanel.add(imageLabel);
			viewPanel.add(textPane);
			add(viewPanel);

			movePanel.setLayout(new GridLayout(1, 2));
			movePanel.add(exprollBtn);
			movePanel.add(equipBtn);
			add(movePanel);
			exprollBtn.addActionListener(this);
			equipBtn.addActionListener(this);

		}

		public void actionPerformed(ActionEvent e) {

			if (e.getSource() == exprollBtn) {
				new ExprollFrame();
				StartController.mainFrame.setEnabled(false);
			}
			if (e.getSource() == equipBtn) {
				new EquipmentFrame();
				StartController.mainFrame.setEnabled(false);

			}
			
		}
	}

	class ExprollFrame extends JFrame implements ActionListener {
		JButton questBtn = new JButton("探索");
		JComboBox<String> dungeonBox;
		String queDungeonName = "";

		ExprollFrame() {
			setLayout(new FlowLayout());

			dungeonBox = new JComboBox<String>(jsonHelper.getDungeonName());
			dungeonBox.setPreferredSize(new Dimension(200, 50));
			getContentPane().add(dungeonBox);
			questBtn.addActionListener(this);
			getContentPane().add(questBtn);

			setBounds(60, 60, 500, 500);
			setVisible(true);
		}

		public void actionPerformed(ActionEvent e) {
			if (e.getSource() == questBtn) {
			DungeonModel.setDungeonData((String) dungeonBox.getSelectedItem());
			StartController.mainFrame.setEnabled(true);
				dispose();
			}
		}
	}

	class EquipmentFrame extends JFrame {
		EquipmentFrame() {
			setBounds(60, 60, 500, 500);
			setVisible(true);
		}
	}

	class PrefFrame extends JFrame implements ActionListener {
		JPanel p1 = new JPanel();
		JPanel p2 = new JPanel();
		JTextField textField = new JTextField();
		JButton saveBtn = new JButton("save");
		JButton cancelBtn = new JButton("cancel");

		PrefFrame() {
			setBounds(60, 60, 500, 500);
			setLayout(new GridLayout(3, 1));
			getContentPane().add(textField);
			getContentPane().add(saveBtn);
			getContentPane().add(cancelBtn);

			saveBtn.addActionListener(this);
			cancelBtn.addActionListener(this);

			setVisible(true);
		}

		public void actionPerformed(ActionEvent e) {
			if (e.getSource() == saveBtn) {
				PrefModel.WIDTH = Integer.valueOf(textField.getText());
				PrefModel.savePrefModel();
			} else if (e.getSource() == cancelBtn) {
				dispose();				
			}
		}
	}

import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.util.Properties;

public class PrefModel {

	public static int WIDTH, HEIGHT;

	public static void loadPrefModel() {

		FileReader fr;
		try {
			fr = new FileReader("C:/java/pref.properties");
			Properties p = new Properties();
			p.load(fr);
			WIDTH = Integer.parseInt(p.getProperty("widthSize"));
			HEIGHT = Integer.parseInt(p.getProperty("heightSize"));
			p.getProperty("widthSize");
			fr.close();
		} catch (IOException e) {
			e.printStackTrace();
		}

	}

	public static void savePrefModel() {
		FileWriter fw;
		try {
			fw = new FileWriter("C:/java/pref.properties");
			Properties p = new Properties();
			p.setProperty("widthSize", Integer.valueOf(WIDTH).toString());
			p.setProperty("heightSize", Integer.valueOf(HEIGHT).toString());
			p.store(fw, "sizePref");
			fw.close();
		} catch (IOException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
	}

	public static void createPrefModel() {
		WIDTH = 700;
		HEIGHT = 700;
		FileWriter fw;
		try {
			fw = new FileWriter("C:/java/pref.properties");
			Properties p = new Properties();
			p.setProperty("widthSize", Integer.valueOf(WIDTH).toString());
			p.setProperty("heightSize", Integer.valueOf(HEIGHT).toString());
			p.store(fw, "sizePref");
			fw.close();
		} catch (IOException e) {
			e.printStackTrace();
		}
	}
}

import java.io.Serializable;

public class PrefDate implements Serializable{
public int HEIGT,WIDTH;
}

import java.io.File;
import java.io.IOException;
import java.util.Vector;

import com.fasterxml.jackson.databind.JsonNode;
import com.fasterxml.jackson.databind.ObjectMapper;

public class JsonHelper {
	public Vector<String> getDungeonName() {
		Vector<String> nameVector = new Vector<String>();
		File file = new File("C:/java/dungeonname.json");
		ObjectMapper mapper = new ObjectMapper();
		JsonNode rootNode;
		try {
			rootNode = mapper.readTree(file);
			JsonNode currentNode; 
			for(int i=0;(currentNode = rootNode.get("dungeon").get(i)) != null; i++) {
nameVector.add(currentNode.get("name").textValue());
			}
		} catch (IOException e) {
			e.printStackTrace();
		}

		return nameVector;
	}
}

public class DungeonModel {
public static String queDungeonName = "";
public static boolean queBool;
public static  void setDungeonData(String nameString,boolean que){
	queDungeonName = nameString;
	queBool = que;
}
public static String getDungeonName() {
	return queDungeonName;
}
}

public class TextDungeon {

	public static void main(String[] args) {
new StartController();
	}
}

ファイル
pref.properties
#sizePref
#Sun Aug 27 20:03:34 JST 2023
widthSize=1200
heightSize=700

gungeonname.json
{
"dungeon":[
{"name":"はじまりのもり"},
{"name":"げんそうのさばく"},
{"name":"しんぴのうみ"}
]
}

Comments

[TN8001]

> 内部クラスの新しいウィンドウのばってんボタンをクリックすると、プログラムがすべて終了してしまいます。

「×ボタンで閉じると終了し、探索ボタンで閉じたときは終了しない」という意味ですか？
「内部クラスでなく外部クラスなら終了しない」ということですか？

> メインフレームを変数に入れなければ、新しいウィンドウを消しても古いウィンドウは残り思った通りに動きます。

逆なら「GCされてしまった」ような可能性がありますが、「入れなければ終了しない」ってのは謎ですね。

雑に不足コードを補って試しましたが、症状を再現できません。
提示以外の部分で「例外が出て丸ごと落ちている」ようなことはありませんか？

> StartController.mainFrame.setEnabled(false);

モーダル的に出すなら、JFrameよりJDialogがいいと思います。

[jimbe]

「コード全体」のコードをコピペしましたが、幾つかクラスが足りず実行できません。
問題を解決する場合に再現することが一番大事なことです。
問題を再現できる、コンパイル・実行可能なコードをご提示ください。

それと、 TN8001 さんが仰っている通り、 JFrame は通常は常に表示されているメインとなる画面 1 つのみに使用し、一時的なウインドウには JDialog 関係を使用するべきです。
JFrame 内を入れ替えるようなことなら、 JPanel を切り替えるような処理を行ってください。

ついでに「// TODO 自動生成されたコンストラクター・スタブ」のようなコメントはさっさと消してください。取っておく意味はありません。

[Vbuu]

ご指摘ありがとうございます。
コードの追加と編集をしました。
>TN8001さん
”「×ボタンで閉じると終了し、探索ボタンで閉じたときは終了しない」という意味ですか？”
そうです。
”「内部クラスでなく外部クラスなら終了しない」ということですか？”
内部クラスで作ったフレーム（ウィンドウ）の×ボタンをおすと、すべてのプログラムが終了してしまいます。外部クラスのウィンドウの×ボタンを押しても終了します

"提示以外の部分で「例外が出て丸ごと落ちている」ようなことはありませんか？"
eclipseのコンソール画面にはエラー表示はないみたいです。

”モーダル的に出すなら、JFrameよりJDialogがいいと思います。”
私の勉強不足でした。ご指摘ありがとうございます。

>jimbeさん
"JFrame は通常は常に表示されているメインとなる画面 1 つのみに使用し、一時的なウインドウには JDialog 関係を使用するべきです。"
私の勉強不足でした。ご指摘ありがとうございます。
”「// TODO 自動生成されたコンストラクター・スタブ」のようなコメントはさっさと消してください。取っておく意味はありません。”
編集し削除しました。

[jimbe]

編集ありがとうございます。

Answer 1

コードを読み直したところ｛｝ブロックの位置が間違っており、
そもそもインナークラスの構造になっておりませんでした。ごめんなさい。
コンソールにエラーは出ないものの、間違ったコードによっておかしい挙動をしていたみたいです。
修正後のコードを載せます

import java.awt.Dimension;
import java.awt.FlowLayout;
import java.awt.GridLayout;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.io.File;

import javax.swing.JButton;
import javax.swing.JComboBox;
import javax.swing.JDialog;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JMenu;
import javax.swing.JMenuBar;
import javax.swing.JMenuItem;
import javax.swing.JPanel;
import javax.swing.JTextField;
import javax.swing.JTextPane;

public class StartController {
	static MainFrame mainFrame = null;

	public StartController() {
		// TODO 自動生成されたコンストラクター・スタブ
		File file = new File("C:/java/pref.properties");

		if (file.exists()) {
			PrefModel.loadPrefModel();
		} else if (!(file.exists())) {
			PrefModel.createPrefModel();
		}

		PrefModel.loadPrefModel();

		mainFrame = new MainFrame();
	}

}

class MainFrame extends JFrame implements ActionListener {
	JMenuBar menuBar = new JMenuBar();
	JMenu confMenu = new JMenu("conf");
	JMenuItem prefItem = new JMenuItem("pref");
	HomePanel homePanel = new HomePanel();
	JsonHelper jsonHelper = new JsonHelper();

	MainFrame() {
		// TODO 自動生成されたコンストラクター・スタブ
		//setDefaultCloseOperation(EXIT_ON_CLOSE);
		setSize(PrefModel.WIDTH, PrefModel.HEIGHT);
		setLocationRelativeTo(rootPane);

		confMenu.add(prefItem);
		menuBar.add(confMenu);
		setJMenuBar(menuBar);
		getContentPane().add(homePanel);
		prefItem.addActionListener(this);

		pack();
		setResizable(false);
		setVisible(true);

	}

	public void actionPerformed(ActionEvent e) {
		// TODO 自動生成されたメソッド・スタブ
		if (e.getSource() == prefItem) {
new PrefFrame();
		}
	}

	class questPanel extends JPanel {
		questPanel() {
			// TODO 自動生成されたコンストラクター・スタブ

		}
	}

	class HomePanel extends JPanel implements ActionListener {
		JPanel viewPanel = new JPanel();
		JTextPane textPane = new JTextPane();
		JLabel imageLabel = new JLabel();
		JButton exprollBtn = new JButton("探検");
		JButton equipBtn = new JButton("装備");
		JPanel movePanel = new JPanel();

		HomePanel() {
			setPreferredSize(new Dimension(PrefModel.WIDTH, PrefModel.HEIGHT));
			setLayout(new GridLayout(1, 2));
			viewPanel.setLayout(new GridLayout(2, 1));
			viewPanel.add(imageLabel);
			viewPanel.add(textPane);
			add(viewPanel);

			movePanel.setLayout(new GridLayout(1, 2));
			movePanel.add(exprollBtn);
			movePanel.add(equipBtn);
			add(movePanel);
			exprollBtn.addActionListener(this);
			equipBtn.addActionListener(this);

		}

		public void actionPerformed(ActionEvent e) {

			if (e.getSource() == exprollBtn) {
				new ExprollFrame();
			}
			if (e.getSource() == equipBtn) {
				new EquipmentFrame();

			}

		}
	}

	class ExprollFrame extends JDialog implements ActionListener {
		JButton questBtn = new JButton("探索");
		JComboBox<String> dungeonBox;
		String queDungeonName = "";

		ExprollFrame() {
			setLayout(new FlowLayout());
			dungeonBox = new JComboBox<String>(jsonHelper.getDungeonName());
			dungeonBox.setPreferredSize(new Dimension(200, 50));
			getContentPane().add(dungeonBox);
			questBtn.addActionListener(this);
			getContentPane().add(questBtn);

			setBounds(60, 60, 500, 500);
			setVisible(true);
		}

		public void actionPerformed(ActionEvent e) {
			// TODO 自動生成されたメソッド・スタブ
			if (e.getSource() == questBtn) {
				DungeonModel.setDungeonData((String) dungeonBox.getSelectedItem(), true);
				StartController.mainFrame.setEnabled(true);
				dispose();
			}
		}
	}

	class EquipmentFrame extends JDialog {
		EquipmentFrame() {
			// TODO 自動生成されたコンストラクター・スタブ
			setBounds(60, 60, 500, 500);
			setVisible(true);
		}
	}

	class PrefFrame extends JDialog implements ActionListener {
		JPanel p1 = new JPanel();
		JPanel p2 = new JPanel();
		JTextField textField = new JTextField();
		JButton saveBtn = new JButton("save");
		JButton cancelBtn = new JButton("cancel");

		PrefFrame() {
			// TODO 自動生成されたコンストラクター・スタブ
			setBounds(60, 60, 500, 500);
			setLayout(new GridLayout(3, 1));
			getContentPane().add(textField);
			getContentPane().add(saveBtn);
			getContentPane().add(cancelBtn);

			saveBtn.addActionListener(this);
			cancelBtn.addActionListener(this);

			setVisible(true);
		}

		public void actionPerformed(ActionEvent e) {
			// TODO 自動生成されたメソッド・スタブ
			if (e.getSource() == saveBtn) {
				PrefModel.WIDTH = Integer.valueOf(textField.getText());
				PrefModel.savePrefModel();
			} else if (e.getSource() == cancelBtn) {
				dispose();
			}
		}
	}
}

なぜおかしい挙動になっていたのかわかる方がいればコメント下さい。
よろしくお願いします。

Comments

[TN8001]

> コードを読み直したところ｛｝ブロックの位置が間違っており、
> そもそもインナークラスの構造になっておりませんでした。

それぞれの子ウィンドウはstatic classにできそうでしたので、内部か外部かは関係ない気がします。

> コンソールにエラーは出ないものの、間違ったコードによっておかしい挙動をしていたみたいです。

かっこが足りない等そもそもコンパイルできてなくって、（コンパイルできていたころの）古いコードが実行されていたとか？？

---

JDialogベースにされたようですね^^
でも現状モーダルになってません。

class EquipmentFrame extends JDialog {
EquipmentFrame() {
setBounds(60, 60, 500, 500);
setModal(true);
setVisible(true);
}
}

のようにsetModal(true);をいれてください。

それで勝手にモーダルにしてくれるので、↓のようなコードは不要になります。
StartController.mainFrame.setEnabled(false);
StartController.mainFrame.setEnabled(true);

モーダル（ウィンドウ/ダイアログ）:
メモ帳の開くダイアログのように、閉じるまで元（メモ帳本体）のウィンドウをいじれないウィンドウ（やその状態）

対義語:モードレス（ウィンドウ/ダイアログ）
[モーダルウィンドウ - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%BC%E3%83%80%E3%83%AB%E3%82%A6%E3%82%A3%E3%83%B3%E3%83%89%E3%82%A6)

Answer 2

何がどこで必要になるのか分かりませんが編集・改造してみました。
まだ 1 ファイルに纏めたほうが簡単そうでしたので纏めています。
json 等はダミーにしています。

TextDungeon.java

import java.awt.*;
import java.io.*;
import java.util.Properties;

import javax.swing.*;

public class TextDungeon extends JFrame {
  public static void main(String[] args) throws IOException {
    PrefModel prefModel = new PrefModel(new File("C:/java/pref.properties"));
    SwingUtilities.invokeLater(() -> new TextDungeon(prefModel).setVisible(true));
  }

  TextDungeon(PrefModel prefModel) {
    super("TextDungeon");
    setDefaultCloseOperation(EXIT_ON_CLOSE);
    setSize(prefModel.getWidth(), prefModel.getHeight());
    setResizable(false);
    setLocationRelativeTo(null);

    JsonHelper jsonHelper = new JsonHelper();

    JMenuBar menuBar = new JMenuBar();
    JMenu confMenu = new JMenu("conf");
    JMenuItem prefItem = new JMenuItem("pref");
    prefItem.addActionListener(v -> new PrefDialog(TextDungeon.this, prefModel).setVisible(true));
    confMenu.add(prefItem);
    menuBar.add(confMenu);
    setJMenuBar(menuBar);

    add(new HomePanel(jsonHelper));
  }

  private class HomePanel extends JPanel {
    HomePanel(JsonHelper jsonHelper) {
      super(new GridLayout(1, 2));

      JPanel viewPanel = new JPanel(new GridLayout(2, 1));
      JLabel imageLabel = new JLabel();
      viewPanel.add(imageLabel);
      JTextPane textPane = new JTextPane();
      viewPanel.add(textPane);
      add(viewPanel);

      JPanel movePanel = new JPanel(new GridLayout(1, 2));
      JButton exprollBtn = new JButton("探検");
      exprollBtn.addActionListener(v -> new ExprollDialog(TextDungeon.this, jsonHelper).setVisible(true));
      movePanel.add(exprollBtn);
      JButton equipBtn = new JButton("装備");
      equipBtn.addActionListener(v -> new EquipmentDialog(TextDungeon.this).setVisible(true));
      movePanel.add(equipBtn);
      add(movePanel);
    }
  }

  private static class DialogContentPanel extends JPanel {
    DialogContentPanel(LayoutManager layoutManager) {
      super(layoutManager);
      setBorder(BorderFactory.createEmptyBorder(10,10,10,10));//ダイアログ共通の装飾
    }
  }

  private static class ExprollDialog extends JDialog {
    ExprollDialog(Frame owner, JsonHelper jsonHelper) {
      super(owner, "ExprollDialog", true);
      setBounds(60, 60, 500, 500);
      setContentPane(new ContentPane(jsonHelper));
      setLocationRelativeTo(owner);
    }

    private class ContentPane extends DialogContentPanel {
      ContentPane(JsonHelper jsonHelper) {
        super(new FlowLayout());

        JComboBox<String> dungeonBox = new JComboBox<String>(jsonHelper.getDungeonName());
        add(dungeonBox);

        JButton questBtn = new JButton("探索");
        questBtn.addActionListener(v -> {
          DungeonModel.setDungeonData((String)dungeonBox.getSelectedItem());
          dispose();
        });
        add(questBtn);
      }
    }
  }

  private static class EquipmentDialog extends JDialog {
    EquipmentDialog(Frame owner) {
      super(owner, "EquipmentDialog", true);
      setBounds(60, 60, 500, 500);

      setLocationRelativeTo(owner);
    }
  }

  private static class PrefDialog extends JDialog {
    PrefDialog(Frame owner, PrefModel prefModel) {
      super(owner, "PrefDialog", true);
      setResizable(false);
      setContentPane(new ContentPane(prefModel));
      pack();
      setLocationRelativeTo(owner);
    }

    private class ContentPane extends DialogContentPanel {
      ContentPane(PrefModel prefModel) {
        super(new GridBagLayout());

        GridBagConstraints gbc = new GridBagConstraints();
        gbc.gridx = 0;
        gbc.gridy = 0;
        gbc.anchor = GridBagConstraints.EAST;
        gbc.insets = new Insets(0,0,0,10);
        add(new JLabel("Frame Width:"), gbc);

        JTextField textField = new JTextField(10);
        String text = "" + prefModel.getWidth();
        textField.setText(text);
        textField.setSelectionStart(0);
        textField.setSelectionEnd(text.length());
        gbc.gridx = 1;
        gbc.anchor = GridBagConstraints.WEST;
        gbc.insets = new Insets(0,0,0,0);
        add(textField, gbc);

        gbc.gridx = 0;
        gbc.gridy = 1;
        add(Box.createVerticalStrut(16), gbc);

        JButton cancelBtn = new JButton("Cancel");
        cancelBtn.addActionListener(v -> dispose());
        gbc.gridy = 2;
        gbc.anchor = GridBagConstraints.WEST;
        add(cancelBtn, gbc);

        JButton saveBtn = new JButton("Save");
        saveBtn.addActionListener(v -> prefModel.setWidth(Integer.valueOf(textField.getText())));
        gbc.gridx = 1;
        gbc.anchor = GridBagConstraints.EAST;
        add(saveBtn, gbc);
      }
    }
  }
}

//ダミー?
class PrefModel {
  private static final String PROPKEY_WIDTH = "widthSize";
  private static final String PROPKEY_HEIGHT = "heightSize";
  private static final int DEFAULT_WIDTH = 700;
  private static final int DEFAULT_HEIGHT = 700;

  private File file;
  private Properties properties;

  PrefModel(File file) {
    this.file = file;
    properties = new Properties();
    if(!file.exists()) return;
    try {
      properties.load(new FileInputStream(file));
    } catch(IOException e) {
      System.err.println(e.getLocalizedMessage());
    }
  }
  void savePrefModel() {
    try {
      properties.store(new FileOutputStream(file), "");
    } catch(IOException e) {
      System.err.println(e.getLocalizedMessage());
    }
  }
  int getWidth() {
    try {
      return Integer.parseInt(properties.getProperty(PROPKEY_WIDTH, ""+DEFAULT_WIDTH));
    } catch(NumberFormatException e) {
      System.err.println(e.getLocalizedMessage());
    }
    return DEFAULT_WIDTH;
  }
  void setWidth(int width) {
    properties.put(PROPKEY_WIDTH, ""+width);
    savePrefModel();
  }
  int getHeight() {
    try {
      return Integer.parseInt(properties.getProperty(PROPKEY_HEIGHT, ""+DEFAULT_HEIGHT));
    } catch(NumberFormatException e) {
      System.err.println(e.getLocalizedMessage());
    }
    return DEFAULT_HEIGHT;
  }
  void setHeight(int height) {
    properties.put(PROPKEY_HEIGHT, ""+height);
    savePrefModel();
  }
}
//ダミー
class JsonHelper {
  String[] getDungeonName() { return new String[]{"はじまりのもり","げんそうのさばく","しんぴのうみ"}; }
}
//ダミー
class DungeonModel {
  static void setDungeonData(String string) {};
}