Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs