Infeasible Code Detection for Java