java plugin: Use `void *' to pass arguments of varying type.
authorFlorian Forster <octo@huhu.verplant.org>
Tue, 7 Apr 2009 07:35:36 +0000 (09:35 +0200)
committerFlorian Forster <octo@huhu.verplant.org>
Tue, 7 Apr 2009 07:35:36 +0000 (09:35 +0200)
The types passed at VM creation time differ from Java implementation to the
next and/or only certain compiler complain. This way we should be on the safe
side.


No differences found