### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core.tests.compiler
Index: src/org/eclipse/jdt/core/tests/compiler/regression/CastTest.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/CastTest.java,v
retrieving revision 1.37
diff -u -r1.37 CastTest.java
--- src/org/eclipse/jdt/core/tests/compiler/regression/CastTest.java	3 Oct 2006 15:19:13 -0000	1.37
+++ src/org/eclipse/jdt/core/tests/compiler/regression/CastTest.java	4 Oct 2006 15:52:09 -0000
@@ -1559,6 +1559,44 @@
 		"Zork cannot be resolved to a type\n" + 
 		"----------\n");
 }
+public void test042() {
+	this.runConformTest(
+		new String[] {
+			"X.java",
+			"import java.util.List;\n" + 
+			"public class X {\n" + 
+			"	public static void main(String[] args) {\n" + 
+			"		System.out.print(\"SUCCESS\");	\n" +
+			"	}\n" + 
+			"	\n" + 
+			"	public static void foo(boolean b, List l) {\n" + 
+			"		if (b) {\n" + 
+			"			String s = (String) l.get(0);\n" + 
+			"		}\n" + 
+			"	}\n" + 
+			"}",
+		},
+		"SUCCESS");
+}
+public void test043() {
+	this.runConformTest(
+		new String[] {
+			"X.java",
+			"import java.util.List;\n" + 
+			"public class X {\n" + 
+			"	public static void main(String[] args) {\n" + 
+			"		System.out.print(\"SUCCESS\");	\n" +
+			"	}\n" + 
+			"	\n" + 
+			"	public static void foo(boolean b, List l) {\n" + 
+			"		if (b) {\n" + 
+			"			Object o = (Object) l.get(0);\n" + 
+			"		}\n" + 
+			"	}\n" + 
+			"}",
+		},
+		"SUCCESS");
+}
 public static Class testClass() {
 	return CastTest.class;
 }