Trying to track down mysterious pause at end of Java execution.