additions to JavaDoc comments for IFileManager methods