Changeset 84
- Timestamp:
- 12/22/07 23:42:09 (3 years ago)
- Files:
-
- trunk/src/main/org/lastpod/History.java (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/src/main/org/lastpod/History.java
r78 r84 30 30 import java.io.InputStreamReader; 31 31 32 import java.util.ArrayList; 33 import java.util.List; 32 import java.util.HashSet; 33 import java.util.Iterator; 34 import java.util.Set; 34 35 import java.util.logging.Logger; 35 36 … … 47 48 private Logger logger = Logger.getLogger(this.getClass().getPackage().getName()); 48 49 private File historyFile = null; 49 private List histories = null;50 private List newHistories = null;50 private Set histories = null; 51 private Set newHistories = null; 51 52 52 53 /** … … 57 58 private History(File historyFile) { 58 59 this.historyFile = historyFile; 59 histories = new ArrayList();60 newHistories = new ArrayList();60 histories = new HashSet(); 61 newHistories = new HashSet(); 61 62 } 62 63 … … 137 138 bufferedWriter = new BufferedWriter(out); 138 139 139 for (int i = 0; i < newHistories.size(); i++) { 140 bufferedWriter.write((String) newHistories.get(i) + "\n"); 140 Iterator i = newHistories.iterator(); 141 142 while (i.hasNext()) { 143 bufferedWriter.write((String) i.next() + "\n"); 141 144 } 142 145 } catch (IOException e) {
