Merge origin/master

Conflicts:
	public_webapp/web/index.jsp
Merge origin/master

Conflicts:
	Applets/src/search/SearchApplet.java