From 53fb3483a2f146c094326861f3adcb7b9bb59ce3 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Fri, 15 Jul 2011 15:32:27 +0200
Subject: [PATCH] correctly update to API change

---
 .../jet/plugin/debugger/JetPositionManagerFactory.java | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/debugger/JetPositionManagerFactory.java b/idea/src/org/jetbrains/jet/plugin/debugger/JetPositionManagerFactory.java
index 6fdddeba724..7775883bdb6 100644
--- a/idea/src/org/jetbrains/jet/plugin/debugger/JetPositionManagerFactory.java
+++ b/idea/src/org/jetbrains/jet/plugin/debugger/JetPositionManagerFactory.java
@@ -1,15 +1,15 @@
 package org.jetbrains.jet.plugin.debugger;
 
 import com.intellij.debugger.PositionManager;
-//import com.intellij.debugger.PositionManagerFactory;
+import com.intellij.debugger.PositionManagerFactory;
 import com.intellij.debugger.engine.DebugProcess;
 
 /**
  * @author yole
  */
-public class JetPositionManagerFactory { //implements PositionManagerFactory {
-//    @Override
-    public PositionManager create(DebugProcess debugProcess) {
-        return new JetPositionManager(debugProcess);
+public class JetPositionManagerFactory extends PositionManagerFactory {
+    @Override
+    public PositionManager createPositionManager(DebugProcess process) {
+        return new JetPositionManager(process);
     }
 }