kframework/k — pull request #648 by bmmoore (2014-06-23 15:52:55+00:00)
Title: Fix and test for ArrayIndexOutOfBounds in UnparserFilterNew pretty mode

The single-argument String.split drops trailing empty pieces, leading to an ArrayIndexOutOfBoundsException for labels like '__.