I noticed that EMPTY_ARRAY thing too.  It's interesting but probably a premature optimization, especially since this code is for a corner case.   Of course, not a big deal either way.