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