anhefti 9feb092c06 fix generics for Java 8		2019-10-17 20:15:55 +02:00
..
java/ch/ethz/seb/sebserver	fix generics for Java 8	2019-10-17 20:15:55 +02:00
resources	fixed exam monitoring caching	2019-10-17 20:09:34 +02:00