http://cr.openjdk.java.net/~roland/8076094/webrev.00/ I noticed this logic in CheckCastPPNode::Value() that doesn’t seem to make sense and asked John about it. He said it might be outdated. I removed it and had it go through testing and saw no problem. I propose we remove it. Roland.