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

package test0323;

public class Test {
  void foo() {
    String x;
    x = (java.lang.Object) "s";
  }
}