/s/std.java.compatibility/std.compatibility/g

src/org/jetbrains/jet/j2k/Converter.java

@@ -41,7 +41,7 @@ public class Converter {
   public static File fileToFileWithCompatibilityImport(@NotNull PsiJavaFile javaFile) {
     final PsiImportList importList = javaFile.getImportList();
     List<Import> imports = importList == null ? Collections.<Import>emptyList() : importsToImportList(importList.getAllImportStatements());
-    imports.add(new Import("std.java.compatibility.*"));
+    imports.add(new Import("std.compatibility.*"));
     return new File(quoteKeywords(javaFile.getPackageName()), imports, classesToClassList(javaFile.getClasses()));
   }
 

testData/ast/file/comp/intNullability.kt

@@ -1,5 +1,5 @@
 namespace demo
-import std.java.compatibility.*
+import std.compatibility.*
 open class Test() {
 open fun test() : Unit {
 var i : Int? = 10