(File file)
| 56 | |
| 57 | |
| 58 | public Settings(File file) throws IOException { |
| 59 | this.file = file; |
| 60 | |
| 61 | if (file.exists()) { |
| 62 | load(); |
| 63 | } |
| 64 | |
| 65 | // clone the hash table |
| 66 | defaults = (HashMap<String,String>) table.clone(); |
| 67 | } |
| 68 | |
| 69 | |
| 70 | public void load() { |