org.eclipse.jdt.ui.tests.refactoring/resources/SafeDeleteType/testFail13/in/A.java

package p;
class A{
}
class B{
	void x(){
		class X extends A(){
		}
	}	
}