45e4dc3
Installing java: post merge tweaks - Remove "ureviewed" header. - Move introduction to main document. - Add text saying OpenJDK is preferred.