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)
commit317cd004e939b13c04073b1e0f8974f761047150
tree3127ecaa58b89c07f1a0ab6264f9fcc0441ffa06
parent79367f94108a13a62f1ad3ef9d1045c5401e82c4
java plugin: Use `void *' to pass arguments of varying type.

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.
src/java.c