Rename, Part II
Merge branch 'master' of https://github.com/dari-ta/LLC

Conflicts:
	src/llc/input/Hotkeymanager.java