Java API: replacing some manual port with auto-generated stuff (/Map-type classes)
authorAndrey Pavlenko <no@email>
Wed, 7 Mar 2012 08:16:43 +0000 (08:16 +0000)
committerAndrey Pavlenko <no@email>
Wed, 7 Mar 2012 08:16:43 +0000 (08:16 +0000)
commit53c156551412a9c69dc9a613e4cac615fab176f6
treeb594623ce5a1b6fec6bf2f02668bec1352128621
parent2727a425e450fbff3034132c1e52986de8d200b4
Java API: replacing some manual port with auto-generated stuff (/Map-type classes)
modules/java/gen_java.py