Added test case.

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@25129 5e8d7ff9-d8ef-0310-90f0-a4852d11357a

test/pending/run/t4713/JavaAnnots.java

@@ -0,0 +1,14 @@
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+import java.util.List;
+
+public abstract class JavaAnnots {
+  @Retention(RetentionPolicy.RUNTIME)
+  @Target(ElementType.FIELD)
+  public @interface Book {
+  }
+
+  public static final List<String> Book = null;
+}

test/pending/run/t4713/Problem.scala

@@ -0,0 +1,5 @@
+object Problem {
+  def d() {
+    val v: java.util.List[String] = JavaAnnots.Book
+  }
+}