#115 improved caching of java types