Commit c31004a89fe50fedbce1b39cc567f06ab1c3a892

Stefano Lattarini 2011-09-18T17:36:05

Merge branch 'maint' * maint: java: fix various blunders in test 'java-mix.test'