src/edu/kit/informatik/campusmanagement/CampusManagement.java
/**
     * Clears any information stored in this management system.
     */
Clears any information stored in this management system.
Clears any information stored in this management system .
public void clear() {
        professors.clear();
        students.clear();
        elements.clear();
    }
public void clear ( ) { professors . clear ( ) ; students . clear ( ) ; elements . clear ( ) ; }
Clears any information stored in this management system.
Clears any information stored in this management system .
////