Use curl rather than wget. [1661]
Remove usages of CollectionHelpers.cast(). [1662]
Add "-DpropertyName=value" to system properties.

[1553]
Fix some javadoc warnings. [0]
Refactored some of the web browser code. [1664]
Fix yet more javadoc warnings. [0]