/** Does an animation step. */
 protected void doStep() {
   lorenz.doStep();
   frame.setMessage("t=" + decimalFormat.format(lorenz.state[3]));
 }