diff dwtx/text/undo/DocumentUndoManager.d @ 153:f70d9508c95c

Fix java Collection imports
author Frank Benoit <benoit@tionex.de>
date Mon, 25 Aug 2008 00:27:31 +0200
parents 6dcb0baaa031
children 7926b636c282
line wrap: on
line diff
--- a/dwtx/text/undo/DocumentUndoManager.d	Sun Aug 24 23:57:08 2008 +0200
+++ b/dwtx/text/undo/DocumentUndoManager.d	Mon Aug 25 00:27:31 2008 +0200
@@ -21,8 +21,8 @@
 
 import dwt.dwthelper.utils;
 
-import java.util.ArrayList;
-import java.util.List;
+import dwtx.dwtxhelper.Collection;
+
 
 import dwtx.core.commands.ExecutionException;
 import dwtx.core.commands.operations.AbstractOperation;