update-alternatives :
	java*, editor
Adding lua5.2
Changing /etc/LatexMk for lualatex