Demonstrate and fix a bug with JDK proxies.