prefactor for PR#430 (copy an example in the javadoc that would otherwise be lost)