Add a missing javadoc tag to LaunchConfig.