org.eclipse.jdt.core.tests.model/workspace/Converter/test0463/A.java

package test0463;

public class A {
    public String foo() {
        return "\012\015\u0061";
    }
}