Small tweak to try to fix Javassist/Java8 incompatibility.