Miscellany

import java.util.HashSet;public class Raum {	private int nummer;	private HashSet<Pruefung> pruefungen = new HashSet<Pruefung>();		public void setNummer(int nummer) {		this.nummer = nummer;	}		public int getNummer() {		return this.nummer;	}		public Raum(int nummer) {		this.setNummer(nummer);	}		public void addPruefung(Pruefung pruef) {		if(!this.pruefungen.add(pruef)) {			pruef.setRaum(this);		}	}}