java plugin: fix minor style issue
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Sat, 15 Dec 2018 17:42:59 +0000 (18:42 +0100)
committerRuben Kerkhof <ruben@rubenkerkhof.com>
Sat, 15 Dec 2018 18:40:14 +0000 (19:40 +0100)
commitb6ec15f38e5b9326080dcc30932c6c0b92d8f6e5
treea1913c11d8fd8e6da2f2fa33e1390896bbe7f570
parent201daa33f04ce0231ad911eb106afa6f407e991e
java plugin: fix minor style issue
src/java.c