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

Fix java Collection imports
author Frank Benoit <benoit@tionex.de>
date Mon, 25 Aug 2008 00:27:31 +0200
parents 51e6e63f930e
children f8d52b926852
line wrap: on
line diff
--- a/dwtx/text/undo/DocumentUndoManagerRegistry.d	Sun Aug 24 23:57:08 2008 +0200
+++ b/dwtx/text/undo/DocumentUndoManagerRegistry.d	Mon Aug 25 00:27:31 2008 +0200
@@ -21,8 +21,8 @@
 
 import dwt.dwthelper.utils;
 
-import java.util.HashMap;
-import java.util.Map;
+import dwtx.dwtxhelper.Collection;
+
 
 import dwtx.core.runtime.Assert;
 import dwtx.jface.text.IDocument;