langtools/src/share/classes/com/sun/tools/javac/tree/TreeInfo.java
changeset 8032 e1aa25ccdabb
parent 8031 d5fe2c1cecfc
child 9300 c2de4dd9853b
--- a/langtools/src/share/classes/com/sun/tools/javac/tree/TreeInfo.java	Mon Jan 10 14:57:59 2011 -0800
+++ b/langtools/src/share/classes/com/sun/tools/javac/tree/TreeInfo.java	Mon Jan 10 15:08:31 2011 -0800
@@ -445,7 +445,7 @@
     public static int finalizerPos(JCTree tree) {
         if (tree.getTag() == JCTree.TRY) {
             JCTry t = (JCTry) tree;
-            assert t.finalizer != null;
+            Assert.checkNonNull(t.finalizer);
             return firstStatPos(t.finalizer);
         } else if (tree.getTag() == JCTree.SYNCHRONIZED) {
             return endPos(((JCSynchronized) tree).body);