import com.redhat.ceylon.ide.common.platform.CommonDocument;
import com.redhat.ceylon.ide.common.platform.DeleteEdit;
import com.redhat.ceylon.ide.common.platform.InsertEdit;
import com.redhat.ceylon.ide.common.platform.ReplaceEdit;
import com.redhat.ceylon.ide.common.platform.TextEdit;
<BUG>import com.redhat.ceylon.ide.common.util.toJavaList_;</BUG>
import com.redhat.ceylon.model.typechecker.model.Declaration;
import ceylon.interop.java.CeylonSet;
<BUG>import ceylon.interop.java.CeylonStringIterable;
public class correctJ2C implements CorrectJ2C {</BUG>
@Override

import com.redhat.ceylon.ide.common.platform.CommonDocument;
import com.redhat.ceylon.ide.common.platform.DeleteEdit;
import com.redhat.ceylon.ide.common.platform.InsertEdit;
import com.redhat.ceylon.ide.common.platform.ReplaceEdit;
import com.redhat.ceylon.ide.common.platform.TextEdit;
import com.redhat.ceylon.model.typechecker.model.Declaration;
import ceylon.interop.java.CeylonSet;
import ceylon.interop.java.CeylonStringIterable;
import ceylon.interop.java.JavaList;
public class correctJ2C implements CorrectJ2C {
@Override
