US8707287B2 - Method, Computer Program Product, and System for Non-Blocking Dynamic Update of Statically Typed Class-Based Object-Oriented Software