org.eclipse.jdt.core.tests.model/workspace/Converter/test0325/Test.java

package test0325;

public class Test {
  void foo() {
    Object x;
    x = (int[]) null;
  }
}