Assertion parsing any Java program

[smowton]

18c614e is bad -- turns out range-for with a string literal includes the null terminator, and java_array_type('\0') throws. To reproduce, try make test in regression/cbmc-java. Recommend reverting that commit.

[tautschnig]

How about std::string instead of the C string literal? That should do, I believe, but testing would be appreciated.

[smowton]

That works too.

[smowton]

Created PR above.