jnumeric/src patched for jython 2.5.0