Fix missing mysql java package

Conflicts:
	source/installation.rst