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

package test0491;

public class A {

	public void method(String loginName) {
		assert(loginName != null);
	}
}