java: Return Map<String,String> for RHashtable functions.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 2 Mar 2011 04:33:39 +0000 (04:33 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 2 Mar 2011 05:21:36 +0000 (05:21 +0000)
commit0b2e45da609002d44cbbf689cfdee252e6806648
tree71cda28eb7e0f583d4128a8d447c16e18c7e196e
parentec62f1127ec4f8609745f9d08b62c65e0ccbd154
java: Return Map<String,String> for RHashtable functions.

There's no point returning the specific HashMap type here.
Return the generic interface type instead.

Note that no users are actually calling these functions yet,
since at present they always fail.
generator/generator_java.ml