*/
package net.sourceforge.phpeclipse.phpeditor.php;
-import org.eclipse.jface.text.*;
+import org.eclipse.jface.text.IDocument;
/**
* @author slanger
- * @version $Revision: 1.1 $
+ * @version $Revision: 1.2 $
*/
public class PHPPartition extends Partition
{