throw new NullPointerException();
}
final File file = (File) key.getIdentifier();
if (file.exists() == false)
{
throw new ResourceLoadingException
("File-handle given does not point to an existing file.");
}
if (file.isFile() == false)
{
throw new ResourceLoadingException
("File-handle given does not point to a regular file.");
}
if (file.canRead() == false)
{
throw new ResourceLoadingException
("File '" + file + "' is not readable.");
}
this.key = key;
this.file = file;
}