leaderboards done
leaderboards done, merge commits
leaderboards done, merge commits
Merge origin/master

Conflicts:
	src/main/java/com/mycompany/bachelorprosjekt2014/servlets/IssueServlet.java