Fix Javadoc formatting.
Fix Launcher style.