public CaseInsensitiveLocation(Location file) throws IOException { super(findCaseInsensitive(file)); }
public CaseInsensitiveLocation(CaseInsensitiveLocation parent, String child) throws IOException { super(findCaseInsensitive(new Location(parent.getAbsolutePath(), child))); }
public CaseInsensitiveLocation(Location file) throws IOException { super(findCaseInsensitive(file)); }
public CaseInsensitiveLocation(CaseInsensitiveLocation parent, String child) throws IOException { super(findCaseInsensitive(new Location(parent.getAbsolutePath(), child))); }
public CaseInsensitiveLocation(File file) throws IOException { super(findCaseInsensitive(new Location(file.getAbsolutePath()))); }
public CaseInsensitiveLocation(String parent, String child) throws IOException { super(findCaseInsensitive(new Location(parent, child))); }
public CaseInsensitiveLocation(String pathname) throws IOException { super(findCaseInsensitive(new Location(pathname))); }
public CaseInsensitiveLocation(File file) throws IOException { super(findCaseInsensitive(new Location(file.getAbsolutePath()))); }
public CaseInsensitiveLocation(String parent, String child) throws IOException { super(findCaseInsensitive(new Location(parent, child))); }
public CaseInsensitiveLocation(String pathname) throws IOException { super(findCaseInsensitive(new Location(pathname))); }