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