kframework/k — pull request #647 by bmmoore (2014-06-23 14:22:02+00:00)
Title: Fix and test for ArrayIndexOutOfBounds in UnparserFilterNew pretty mode

The one-argument String.split deletes trailing empty pieces, so UnparserFilterNew was getting an ArrayIndexOutOfBounds exception whenever it tried to make pretty output for a label ending in multiple underscores.