org.eclipse.jdt.ui.tests.refactoring/resources/TypeConstraints/A_testConstraints23.java

package p;
class Test1 {
		public static void main(String[] args) {
			for(int i=0; i < args.length; );
		}
}