The parameters to the Application.launch(args) and Application.launch(appClass, args) methods are not documented in the API docs generated by javadoc.

As part of this, we should document that the arguments are available via getParameters().