File.java

// License: GPL. For details, see LICENSE file
package java.io;

public class File {

}