Automatically select header color for mirror
Merge ../../praktomat_2013_WS/Praktomat
Merge ../../praktomat_2013_WS/Praktomat
serve_solution_file: Do not raise error if solution.author.tutorial is None
Merge branch 'master' of /afs/info.uni-karlsruhe.de/user/breitner/praktomat
Merge branch 'master' of /afs/info.uni-karlsruhe.de/user/breitner/praktomat
Merge branch 'master' of /afs/info.uni-karlsruhe.de/user/breitner/praktomat
Make JavaBuilder report less confusing