Java Client Slowdown

[W]e helped them diagnose the true cause of the slowdown.  It was the Java code in the client that was causing an 89 second slowdown in the application. Once pinpointed the client was able to show our annotated proof to the vendor responsible and the problem was fixed with a simple change.