needed Jython Java stuff