Abstract Interpretation for Object Oriented Languages: Quo Vadis?