trigger fixes
User randomizer fix
Notification support almost finished
Notification support almost finished
Notification support done
Notification support small fix
Some code cleanup
Login function added in tools, Tinyradius jar added, new pom.xml op
drive
mergeFix
Merge branch 'database' of github.com:utwente-di/di18 into database
ActionType
Bugfixes
Merge branch 'database' of github.com:utwente-di/di18 into frontend
fixed: redirect to front.jsp - add ideas to DB with idea_submit.jsp - made a start with comments in idea_full.jsp - cleaned up some things