@@ -0,0 +1,661 @@
+package sfBugs;%0A%0Aimport java.util.ArrayList;%0Aimport java.util.Iterator;%0A%0A/*Consider the following block of code:%0A%0A%091: List workingList = (List)getList().clone();%0A%092: Iterator iter = workingList != null ?%0A%09workingList.iterator() : null;%0A%093: for (int i = 0; i %3C workingList.size(); i++) %7B%0A%0A%0A%09FindBugs 1.1 gives a NP message for line 3. Instead, it%0A%09should give RCN for line 2 since a clone operation%0A%09could never return a null value.%0A%09*/%0Apublic class Bug1563719 %7B%0A%0A%09public static int f(ArrayList list) %7B%0A%09%09ArrayList workingList = (ArrayList)list.clone();%0A%09%09Iterator iter = workingList != null ?workingList.iterator() : null;%0A%09%09return  workingList.size();%0A%09%09%7D%0A%09%7D%0A%0A

add test case for Bug 1563719