If the ArrayElement has no name, use "default" as the name. This is needed when generating classes through jasmin (see jasmin/lib/jas/src/jas/ArrayElemValPair.java setNoName())
If the ArrayElement has no name, use "default" as the name. This is needed when generating classes through jasmin (see jasmin/lib/jas/src/jas/ArrayElemValPair.java setNoName())

cfallin/soot,xph906/SootNew,anddann/soot,anddann/soot,cfallin/soot,cfallin/soot,mbenz89/soot,mbenz89/soot,xph906/SootNew,cfallin/soot,plast-lab/soot,plast-lab/soot,xph906/SootNew,plast-lab/soot,xph906/SootNew,mbenz89/soot,mbenz89/soot,anddann/soot,anddann/soot