Added getters and setters for File class