editor is prettier
Merge branch 'master' of
https://github.com/BerndBrinkmann/ExpertShell.git

Conflicts:
	ExpertShell/src/gui/MainScreen.java