Merge branch 'dennis_local' into 'kevin_local'

.gitignore

.idea/encodings.xml

.idea/misc.xml

.mvn/wrapper/maven-wrapper.jar

.mvn/wrapper/maven-wrapper.properties

mvnw

mvnw.cmd

pom.xml

...ain/java/com/example/grademanager_gui/CoursesOfStudy.java

...xample/grademanager_gui/DegreeModificationController.java

src/main/java/com/example/grademanager_gui/Main.java

...ain/java/com/example/grademanager_gui/MainController.java

...ample/grademanager_gui/StudentModificationController.java

src/main/java/module-info.java

...ces/com/example/grademanager_gui/course-modification.fxml

...esources/com/example/grademanager_gui/degree-details.fxml

...ces/com/example/grademanager_gui/degree-modification.fxml

src/main/resources/com/example/grademanager_gui/main.fxml

...sources/com/example/grademanager_gui/student-details.fxml

...es/com/example/grademanager_gui/student-modification.fxml