langtools/test/com/sun/javadoc/testTypeAnnotations/TestTypeAnnotations.java
changeset 23971 f5ff1f5a8dee
parent 21478 fa4c7cda1b41
child 24065 fc4022e50129
--- a/langtools/test/com/sun/javadoc/testTypeAnnotations/TestTypeAnnotations.java	Tue Apr 15 15:55:24 2014 -0700
+++ b/langtools/test/com/sun/javadoc/testTypeAnnotations/TestTypeAnnotations.java	Wed Apr 16 16:17:09 2014 -0700
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -46,14 +46,14 @@
     private static final String[][] NEGATED_TEST = NO_TEST;
     private static final String[][] TEST = {
         // Test for type annotations on Class Extends (ClassExtends.java).
-        {BUG_ID + FS + "typeannos" + FS + "MyClass.html",
+        {BUG_ID + "/typeannos/MyClass.html",
             "extends <a href=\"../typeannos/ClassExtA.html\" title=\"annotation " +
             "in typeannos\">@ClassExtA</a> <a href=\"../typeannos/ParameterizedClass.html\" " +
             "title=\"class in typeannos\">ParameterizedClass</a>&lt;<a href=\"" +
             "../typeannos/ClassExtB.html\" title=\"annotation in typeannos\">" +
             "@ClassExtB</a> java.lang.String&gt;"
         },
-        {BUG_ID + FS + "typeannos" + FS + "MyClass.html",
+        {BUG_ID + "/typeannos/MyClass.html",
             "implements <a href=\"../typeannos/ClassExtB.html\" title=\"" +
             "annotation in typeannos\">@ClassExtB</a> java.lang.CharSequence, " +
             "<a href=\"../typeannos/ClassExtA.html\" title=\"annotation in " +
@@ -62,7 +62,7 @@
             "<a href=\"../typeannos/ClassExtB.html\" title=\"annotation in " +
             "typeannos\">@ClassExtB</a> java.lang.String&gt;</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "MyInterface.html",
+        {BUG_ID + "/typeannos/MyInterface.html",
             "extends <a href=\"../typeannos/ClassExtA.html\" title=\"annotation " +
             "in typeannos\">@ClassExtA</a> <a href=\"../typeannos/" +
             "ParameterizedInterface.html\" title=\"interface in typeannos\">" +
@@ -73,12 +73,12 @@
         },
 
         // Test for type annotations on Class Parameters (ClassParameters.java).
-        {BUG_ID + FS + "typeannos" + FS + "ExtendsBound.html",
+        {BUG_ID + "/typeannos/ExtendsBound.html",
             "class <span class=\"typeNameLabel\">ExtendsBound&lt;K extends <a " +
             "href=\"../typeannos/ClassParamA.html\" title=\"annotation in " +
             "typeannos\">@ClassParamA</a> java.lang.String&gt;</span>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ExtendsGeneric.html",
+        {BUG_ID + "/typeannos/ExtendsGeneric.html",
             "<pre>class <span class=\"typeNameLabel\">ExtendsGeneric&lt;K extends " +
             "<a href=\"../typeannos/ClassParamA.html\" title=\"annotation in " +
             "typeannos\">@ClassParamA</a> <a href=\"../typeannos/Unannotated.html\" " +
@@ -86,24 +86,24 @@
             "../typeannos/ClassParamB.html\" title=\"annotation in typeannos\">" +
             "@ClassParamB</a> java.lang.String&gt;&gt;</span>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "TwoBounds.html",
+        {BUG_ID + "/typeannos/TwoBounds.html",
             "<pre>class <span class=\"typeNameLabel\">TwoBounds&lt;K extends <a href=\"" +
             "../typeannos/ClassParamA.html\" title=\"annotation in typeannos\">" +
             "@ClassParamA</a> java.lang.String,V extends <a href=\"../typeannos/" +
             "ClassParamB.html\" title=\"annotation in typeannos\">@ClassParamB" +
             "</a> java.lang.String&gt;</span>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "Complex1.html",
+        {BUG_ID + "/typeannos/Complex1.html",
             "class <span class=\"typeNameLabel\">Complex1&lt;K extends <a href=\"../" +
             "typeannos/ClassParamA.html\" title=\"annotation in typeannos\">" +
             "@ClassParamA</a> java.lang.String &amp; java.lang.Runnable&gt;</span>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "Complex2.html",
+        {BUG_ID + "/typeannos/Complex2.html",
             "class <span class=\"typeNameLabel\">Complex2&lt;K extends java.lang." +
             "String &amp; <a href=\"../typeannos/ClassParamB.html\" title=\"" +
             "annotation in typeannos\">@ClassParamB</a> java.lang.Runnable&gt;</span>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ComplexBoth.html",
+        {BUG_ID + "/typeannos/ComplexBoth.html",
             "class <span class=\"typeNameLabel\">ComplexBoth&lt;K extends <a href=\"" +
             "../typeannos/ClassParamA.html\" title=\"annotation in typeannos\"" +
             ">@ClassParamA</a> java.lang.String &amp; <a href=\"../typeannos/" +
@@ -112,24 +112,24 @@
         },
 
         // Test for type annotations on fields (Fields.java).
-        {BUG_ID + FS + "typeannos" + FS + "DefaultScope.html",
+        {BUG_ID + "/typeannos/DefaultScope.html",
             "<pre><a href=\"../typeannos/Parameterized.html\" title=\"class in " +
             "typeannos\">Parameterized</a>&lt;<a href=\"../typeannos/FldA.html\" " +
             "title=\"annotation in typeannos\">@FldA</a> java.lang.String,<a " +
             "href=\"../typeannos/FldB.html\" title=\"annotation in typeannos\">" +
             "@FldB</a> java.lang.String&gt; bothTypeArgs</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "DefaultScope.html",
+        {BUG_ID + "/typeannos/DefaultScope.html",
             "<pre><a href=\"../typeannos/FldA.html\" title=\"annotation in " +
             "typeannos\">@FldA</a> java.lang.String <a href=\"../typeannos/" +
             "FldB.html\" title=\"annotation in typeannos\">@FldB</a> [] " +
             "array1Deep</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "DefaultScope.html",
+        {BUG_ID + "/typeannos/DefaultScope.html",
             "<pre>java.lang.String[] <a href=\"../typeannos/FldB.html\" " +
             "title=\"annotation in typeannos\">@FldB</a> [] array2SecondOld</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "DefaultScope.html",
+        {BUG_ID + "/typeannos/DefaultScope.html",
             "<pre><a href=\"../typeannos/FldD.html\" title=\"annotation in " +
             "typeannos\">@FldD</a> java.lang.String <a href=\"../typeannos/" +
             "FldC.html\" title=\"annotation in typeannos\">@FldC</a> <a href=\"" +
@@ -138,7 +138,7 @@
             "typeannos\">@FldC</a> <a href=\"../typeannos/FldB.html\" title=\"" +
             "annotation in typeannos\">@FldB</a> [] array2Deep</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ModifiedScoped.html",
+        {BUG_ID + "/typeannos/ModifiedScoped.html",
             "<pre>public final&nbsp;<a href=\"../typeannos/Parameterized.html\" " +
             "title=\"class in typeannos\">Parameterized</a>&lt;<a href=\"../" +
             "typeannos/FldA.html\" title=\"annotation in typeannos\">@FldA</a> " +
@@ -150,30 +150,30 @@
             "title=\"annotation in typeannos\">@FldB</a> java.lang.String&gt; " +
             "nestedParameterized</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ModifiedScoped.html",
+        {BUG_ID + "/typeannos/ModifiedScoped.html",
             "<pre>public final&nbsp;<a href=\"../typeannos/FldA.html\" " +
             "title=\"annotation in typeannos\">@FldA</a> java.lang.String[][] " +
             "array2</pre>"
         },
 
         // Test for type annotations on method return types (MethodReturnType.java).
-        {BUG_ID + FS + "typeannos" + FS + "MtdDefaultScope.html",
+        {BUG_ID + "/typeannos/MtdDefaultScope.html",
             "<pre>public&nbsp;&lt;T&gt;&nbsp;<a href=\"../typeannos/MRtnA.html\" " +
             "title=\"annotation in typeannos\">@MRtnA</a> java.lang.String" +
             "&nbsp;method()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "MtdDefaultScope.html",
+        {BUG_ID + "/typeannos/MtdDefaultScope.html",
             "<pre><a href=\"../typeannos/MRtnA.html\" title=\"annotation in " +
             "typeannos\">@MRtnA</a> java.lang.String <a href=\"../typeannos/" +
             "MRtnA.html\" title=\"annotation in typeannos\">@MRtnA</a> [] <a " +
             "href=\"../typeannos/MRtnB.html\" title=\"annotation in typeannos\">" +
             "@MRtnB</a> []&nbsp;array2Deep()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "MtdDefaultScope.html",
+        {BUG_ID + "/typeannos/MtdDefaultScope.html",
             "<pre><a href=\"../typeannos/MRtnA.html\" title=\"annotation in " +
             "typeannos\">@MRtnA</a> java.lang.String[][]&nbsp;array2()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "MtdModifiedScoped.html",
+        {BUG_ID + "/typeannos/MtdModifiedScoped.html",
             "<pre>public final&nbsp;<a href=\"../typeannos/MtdParameterized.html\" " +
             "title=\"class in typeannos\">MtdParameterized</a>&lt;<a href=\"../" +
             "typeannos/MRtnA.html\" title=\"annotation in typeannos\">@MRtnA</a> " +
@@ -187,12 +187,12 @@
         },
 
         // Test for type annotations on method type parameters (MethodTypeParameters.java).
-        {BUG_ID + FS + "typeannos" + FS + "UnscopedUnmodified.html",
+        {BUG_ID + "/typeannos/UnscopedUnmodified.html",
             "<pre>&lt;K extends <a href=\"../typeannos/MTyParamA.html\" title=\"" +
             "annotation in typeannos\">@MTyParamA</a> java.lang.String&gt;" +
             "&nbsp;void&nbsp;methodExtends()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "UnscopedUnmodified.html",
+        {BUG_ID + "/typeannos/UnscopedUnmodified.html",
             "<pre>&lt;K extends <a href=\"../typeannos/MTyParamA.html\" title=\"" +
             "annotation in typeannos\">@MTyParamA</a> <a href=\"../typeannos/" +
             "MtdTyParameterized.html\" title=\"class in typeannos\">" +
@@ -200,12 +200,12 @@
             "title=\"annotation in typeannos\">@MTyParamB</a> java.lang.String" +
             "&gt;&gt;&nbsp;void&nbsp;nestedExtends()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "PublicModifiedMethods.html",
+        {BUG_ID + "/typeannos/PublicModifiedMethods.html",
             "<pre>public final&nbsp;&lt;K extends <a href=\"../typeannos/" +
             "MTyParamA.html\" title=\"annotation in typeannos\">@MTyParamA</a> " +
             "java.lang.String&gt;&nbsp;void&nbsp;methodExtends()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "PublicModifiedMethods.html",
+        {BUG_ID + "/typeannos/PublicModifiedMethods.html",
             "<pre>public final&nbsp;&lt;K extends <a href=\"../typeannos/" +
             "MTyParamA.html\" title=\"annotation in typeannos\">@MTyParamA</a> " +
             "java.lang.String,V extends <a href=\"../typeannos/MTyParamA.html\" " +
@@ -217,13 +217,13 @@
         },
 
         // Test for type annotations on parameters (Parameters.java).
-        {BUG_ID + FS + "typeannos" + FS + "Parameters.html",
+        {BUG_ID + "/typeannos/Parameters.html",
             "<pre>void&nbsp;unannotated(<a href=\"../typeannos/" +
             "ParaParameterized.html\" title=\"class in typeannos\">" +
             "ParaParameterized</a>&lt;java.lang.String,java.lang.String&gt;" +
             "&nbsp;a)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "Parameters.html",
+        {BUG_ID + "/typeannos/Parameters.html",
             "<pre>void&nbsp;nestedParaParameterized(<a href=\"../typeannos/" +
             "ParaParameterized.html\" title=\"class in typeannos\">" +
             "ParaParameterized</a>&lt;<a href=\"../typeannos/ParamA.html\" " +
@@ -236,7 +236,7 @@
             "typeannos/ParamB.html\" title=\"annotation in typeannos\">@ParamB" +
             "</a> java.lang.String&gt;&nbsp;a)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "Parameters.html",
+        {BUG_ID + "/typeannos/Parameters.html",
             "<pre>void&nbsp;array2Deep(<a href=\"../typeannos/ParamA.html\" " +
             "title=\"annotation in typeannos\">@ParamA</a> java.lang.String " +
             "<a href=\"../typeannos/ParamA.html\" title=\"annotation in " +
@@ -245,73 +245,73 @@
         },
 
         // Test for type annotations on throws (Throws.java).
-        {BUG_ID + FS + "typeannos" + FS + "ThrDefaultUnmodified.html",
-            "<pre>void&nbsp;oneException()" + NL +
+        {BUG_ID + "/typeannos/ThrDefaultUnmodified.html",
+            "<pre>void&nbsp;oneException()\n" +
             "           throws <a href=\"../typeannos/ThrA.html\" title=\"" +
             "annotation in typeannos\">@ThrA</a> java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ThrDefaultUnmodified.html",
-            "<pre>void&nbsp;twoExceptions()" + NL +
+        {BUG_ID + "/typeannos/ThrDefaultUnmodified.html",
+            "<pre>void&nbsp;twoExceptions()\n" +
             "            throws <a href=\"../typeannos/ThrA.html\" title=\"" +
-            "annotation in typeannos\">@ThrA</a> java.lang.RuntimeException," + NL +
+            "annotation in typeannos\">@ThrA</a> java.lang.RuntimeException,\n" +
             "                   <a href=\"../typeannos/ThrA.html\" title=\"" +
             "annotation in typeannos\">@ThrA</a> java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ThrPublicModified.html",
-            "<pre>public final&nbsp;void&nbsp;oneException(java.lang.String&nbsp;a)" + NL +
+        {BUG_ID + "/typeannos/ThrPublicModified.html",
+            "<pre>public final&nbsp;void&nbsp;oneException(java.lang.String&nbsp;a)\n" +
             "                        throws <a href=\"../typeannos/ThrA.html\" " +
             "title=\"annotation in typeannos\">@ThrA</a> java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ThrPublicModified.html",
-            "<pre>public final&nbsp;void&nbsp;twoExceptions(java.lang.String&nbsp;a)" + NL +
+        {BUG_ID + "/typeannos/ThrPublicModified.html",
+            "<pre>public final&nbsp;void&nbsp;twoExceptions(java.lang.String&nbsp;a)\n" +
             "                         throws <a href=\"../typeannos/ThrA.html\" " +
-            "title=\"annotation in typeannos\">@ThrA</a> java.lang.RuntimeException," + NL +
+            "title=\"annotation in typeannos\">@ThrA</a> java.lang.RuntimeException,\n" +
             "                                <a href=\"../typeannos/ThrA.html\" " +
             "title=\"annotation in typeannos\">@ThrA</a> java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ThrWithValue.html",
-            "<pre>void&nbsp;oneException()" + NL +
+        {BUG_ID + "/typeannos/ThrWithValue.html",
+            "<pre>void&nbsp;oneException()\n" +
             "           throws <a href=\"../typeannos/ThrB.html\" title=\"" +
             "annotation in typeannos\">@ThrB</a>(<a href=\"../typeannos/" +
             "ThrB.html#value--\">value</a>=\"m\") java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "ThrWithValue.html",
-            "<pre>void&nbsp;twoExceptions()" + NL +
+        {BUG_ID + "/typeannos/ThrWithValue.html",
+            "<pre>void&nbsp;twoExceptions()\n" +
             "            throws <a href=\"../typeannos/ThrB.html\" title=\"" +
             "annotation in typeannos\">@ThrB</a>(<a href=\"../typeannos/" +
-            "ThrB.html#value--\">value</a>=\"m\") java.lang.RuntimeException," + NL +
+            "ThrB.html#value--\">value</a>=\"m\") java.lang.RuntimeException,\n" +
             "                   <a href=\"../typeannos/ThrA.html\" title=\"" +
             "annotation in typeannos\">@ThrA</a> java.lang.Exception</pre>"
         },
 
         // Test for type annotations on type parameters (TypeParameters.java).
-        {BUG_ID + FS + "typeannos" + FS + "TestMethods.html",
+        {BUG_ID + "/typeannos/TestMethods.html",
             "<pre>&lt;K,V extends <a href=\"../typeannos/TyParaA.html\" title=\"" +
             "annotation in typeannos\">@TyParaA</a> java.lang.String&gt;&nbsp;" +
             "void&nbsp;secondAnnotated()</pre>"
         },
 
         // Test for type annotations on wildcard type (Wildcards.java).
-        {BUG_ID + FS + "typeannos" + FS + "BoundTest.html",
+        {BUG_ID + "/typeannos/BoundTest.html",
             "<pre>void&nbsp;wcExtends(<a href=\"../typeannos/MyList.html\" " +
             "title=\"class in typeannos\">MyList</a>&lt;? extends <a href=\"" +
             "../typeannos/WldA.html\" title=\"annotation in typeannos\">@WldA" +
             "</a> java.lang.String&gt;&nbsp;l)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "BoundTest.html",
+        {BUG_ID + "/typeannos/BoundTest.html",
             "<pre><a href=\"../typeannos/MyList.html\" title=\"class in " +
             "typeannos\">MyList</a>&lt;? super <a href=\"../typeannos/WldA.html\" " +
             "title=\"annotation in typeannos\">@WldA</a> java.lang.String&gt;" +
             "&nbsp;returnWcSuper()</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "BoundWithValue.html",
+        {BUG_ID + "/typeannos/BoundWithValue.html",
             "<pre>void&nbsp;wcSuper(<a href=\"../typeannos/MyList.html\" title=\"" +
             "class in typeannos\">MyList</a>&lt;? super <a href=\"../typeannos/" +
             "WldB.html\" title=\"annotation in typeannos\">@WldB</a>(<a href=\"" +
             "../typeannos/WldB.html#value--\">value</a>=\"m\") java.lang." +
             "String&gt;&nbsp;l)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "BoundWithValue.html",
+        {BUG_ID + "/typeannos/BoundWithValue.html",
             "<pre><a href=\"../typeannos/MyList.html\" title=\"class in " +
             "typeannos\">MyList</a>&lt;? extends <a href=\"../typeannos/WldB." +
             "html\" title=\"annotation in typeannos\">@WldB</a>(<a href=\"../" +
@@ -320,57 +320,58 @@
         },
 
         // Test for receiver annotations (Receivers.java).
-        {BUG_ID + FS + "typeannos" + FS + "DefaultUnmodified.html",
+        {BUG_ID + "/typeannos/DefaultUnmodified.html",
             "<pre>void&nbsp;withException(<a href=\"../typeannos/RcvrA.html\" " +
             "title=\"annotation in typeannos\">@RcvrA</a>&nbsp;" +
-            "DefaultUnmodified&nbsp;this)" + NL + "            throws java." +
+            "DefaultUnmodified&nbsp;this)\n" +
+            "            throws java." +
             "lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "DefaultUnmodified.html",
+        {BUG_ID + "/typeannos/DefaultUnmodified.html",
             "<pre>java.lang.String&nbsp;nonVoid(<a href=\"../typeannos/RcvrA." +
             "html\" title=\"annotation in typeannos\">@RcvrA</a> <a href=\"../" +
             "typeannos/RcvrB.html\" title=\"annotation in typeannos\">@RcvrB" +
             "</a>(<a href=\"../typeannos/RcvrB.html#value--\">value</a>=\"m\")" +
             "&nbsp;DefaultUnmodified&nbsp;this)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "DefaultUnmodified.html",
+        {BUG_ID + "/typeannos/DefaultUnmodified.html",
             "<pre>&lt;T extends java.lang.Runnable&gt;&nbsp;void&nbsp;accept(" +
             "<a href=\"../typeannos/RcvrA.html\" title=\"annotation in " +
-            "typeannos\">@RcvrA</a>&nbsp;DefaultUnmodified&nbsp;this," + NL +
-            "                                           T&nbsp;r)" + NL +
+            "typeannos\">@RcvrA</a>&nbsp;DefaultUnmodified&nbsp;this,\n" +
+            "                                           T&nbsp;r)\n" +
             "                                    throws java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "PublicModified.html",
+        {BUG_ID + "/typeannos/PublicModified.html",
             "<pre>public final&nbsp;java.lang.String&nbsp;nonVoid(<a href=\"" +
             "../typeannos/RcvrA.html\" title=\"annotation in typeannos\">" +
             "@RcvrA</a>&nbsp;PublicModified&nbsp;this)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "PublicModified.html",
+        {BUG_ID + "/typeannos/PublicModified.html",
             "<pre>public final&nbsp;&lt;T extends java.lang.Runnable&gt;&nbsp;" +
             "void&nbsp;accept(<a href=\"../typeannos/RcvrA.html\" title=\"" +
-            "annotation in typeannos\">@RcvrA</a>&nbsp;PublicModified&nbsp;this," + NL +
-            "                                                        T&nbsp;r)" + NL +
+            "annotation in typeannos\">@RcvrA</a>&nbsp;PublicModified&nbsp;this,\n" +
+            "                                                        T&nbsp;r)\n" +
             "                                                 throws java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "WithValue.html",
+        {BUG_ID + "/typeannos/WithValue.html",
             "<pre>&lt;T extends java.lang.Runnable&gt;&nbsp;void&nbsp;accept(" +
             "<a href=\"../typeannos/RcvrB.html\" title=\"annotation in " +
             "typeannos\">@RcvrB</a>(<a href=\"../typeannos/RcvrB.html#value--\">" +
-            "value</a>=\"m\")&nbsp;WithValue&nbsp;this," + NL +
-            "                                           T&nbsp;r)" + NL +
+            "value</a>=\"m\")&nbsp;WithValue&nbsp;this,\n" +
+            "                                           T&nbsp;r)\n" +
             "                                    throws java.lang.Exception</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "WithFinal.html",
+        {BUG_ID + "/typeannos/WithFinal.html",
             "<pre>java.lang.String&nbsp;nonVoid(<a href=\"../typeannos/RcvrB." +
             "html\" title=\"annotation in typeannos\">@RcvrB</a>(<a href=\"../" +
             "typeannos/RcvrB.html#value--\">value</a>=\"m\")&nbsp;WithFinal" +
             "&nbsp;this)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "WithBody.html",
+        {BUG_ID + "/typeannos/WithBody.html",
             "<pre>void&nbsp;field(<a href=\"../typeannos/RcvrA.html\" title=\"" +
             "annotation in typeannos\">@RcvrA</a>&nbsp;WithBody&nbsp;this)</pre>"
         },
-        {BUG_ID + FS + "typeannos" + FS + "Generic2.html",
+        {BUG_ID + "/typeannos/Generic2.html",
             "<pre>void&nbsp;test2(<a href=\"../typeannos/RcvrA.html\" title=\"" +
             "annotation in typeannos\">@RcvrA</a>&nbsp;Generic2&lt;X&gt;&nbsp;this)</pre>"
         }