Hi Michael, glad you want to help! JTorCtl is pretty much unmaintained (it was last committed to in 2009), but if you file a ticket on https://trac.torproject.org we might be able to get it merged.
Karsten, you're the last person to touch that project. Thoughts on the component for the ticket?
Cheers! -Damian