kframework/java-semantics — pull request #6 by laurayuwen (2014-10-03 21:02:54+00:00)
Title: New syntax and semantics for ArrayInitializer

@grosu