oh, the length == 0 is documented in the JDK docs.