public File getFile() {
        Object gotValue=getValue();
        if(gotValue==null)
            return null;
        if(!gotValue.getClass().isAssignableFrom(File.class))  {
            throw new ClassCastException("don't know how to convert "
            		+gotValue.getClass().getName()+" to File");
        }
        return (File)gotValue;
    }