Update Java code-generation runtime to support VDMUtil`seq_of_char2val

[peterwvj]

We need limited Java code-generation support for VDMUtil`seq_of_char2val. Specifically, this function should support nat, nat1, int, rat, real, bool, char and quotes as well as unions of these types.

[peterwvj]

Example cases that the Java code-generator supports are shown below:

class Entry

operations

public static Run : () ==> ?
Run () ==
return [VDMUtil`seq_of_char2val[nat]("0"),
  VDMUtil`seq_of_char2val[nat]("-1"),
  VDMUtil`seq_of_char2val[nat1]("42"),
  VDMUtil`seq_of_char2val[nat1]("0"),
  VDMUtil`seq_of_char2val[int]("-4"),
  VDMUtil`seq_of_char2val[int]("2.5"),
  VDMUtil`seq_of_char2val[rat]("-3.5"),
  VDMUtil`seq_of_char2val[rat]("true"),
  VDMUtil`seq_of_char2val[real]("1.2345"),
  VDMUtil`seq_of_char2val[real]("nil"),
  VDMUtil`seq_of_char2val[bool]("true"),
  VDMUtil`seq_of_char2val[bool]("nil"),
  VDMUtil`seq_of_char2val[char]("'x'"),
  VDMUtil`seq_of_char2val[char]("'xx'"),
  VDMUtil`seq_of_char2val[<A>]("<A>"),
  VDMUtil`seq_of_char2val[<B>]("<A>"),
  VDMUtil`seq_of_char2val[<A> | <B>]("<A>"),
  VDMUtil`seq_of_char2val[<A> | <B>]("<B>"),
  VDMUtil`seq_of_char2val[<A> | <B>]("<C>"),
  VDMUtil`seq_of_char2val[bool | nat]("true"),
  VDMUtil`seq_of_char2val[bool | nat]("55"),
  VDMUtil`seq_of_char2val[bool | nat]("2.5"),
  VDMUtil`seq_of_char2val[bool | nat]("nil")]

end Entry

class VDMUtil