In fact the example file at the top of that page explicitly uses "1.4.2" as the version string.
Agreed, but I remember that discussion and conclusion as well. Is the addition of the minor number a new thing, thus maybe not supported by the client's version of WebStart?
Three guesses as to why the docs only list 1.3.0 and 1.4.0 as available: (1) to maintain compatibility with older WebStart versions, (2) because the developer "shouldn't" be targetting a minor version, no matter how valid their reason, or (3) policy changed but no one told the people who make the releases available...
