Merge upstream/master

Conflicts:
	src/ui/MainWindow.java