src/edu/kit/informatik/campusmanagement/Student.java
/**
     * Returns the average grade of this student in the specified module.
     * 
     * @param  module the module
     * @return the grade
     */
Returns the average grade of this student in the specified module.

@param  module the module
@return the grade
Returns the average grade of this student in the specified module . @param module the module @return the grade
public Grade grade(
            final Module module) {
        return Grade.average(grades.get(module), this::grade, Lecture::credits);
    }
public Grade grade ( final Module module ) { return Grade . average ( grades . get ( module ) , this :: grade , Lecture :: credits ) ; }
Returns the average grade of this student in the specified module.
Returns the average grade of this student in the specified module .
////