public class PR20418
{
public static void main( String[] args)
java.io.File = new java.io.File( "junk");
}