Ah! Thanks. I figured it must be something like that, but I couldn't google it easily, and I figured it wouldn't matter much to jython.