Update of Java doc for Launcher/main()