org.eclipse.jdt.core.tests.model/workspace/CodeCorrection/src/CorrectLocalVariable2.java

public class CorrectLocalVariable2 {
	void foo(){
		int ba\ud842\udf9fr0;
		ba\ud842\udf9fr = 5;
	}
}