The Open Verification Platform for the Java(tm) Platform