javassist.convert