1.1 --- a/openide.util/src/org/openide/util/doc-files/preferences.html	Mon Nov 13 20:11:53 2006 +0000
     1.2 +++ b/openide.util/src/org/openide/util/doc-files/preferences.html	Thu Nov 16 17:01:15 2006 +0000
     1.3 @@ -164,7 +164,7 @@
     1.4                </tr>
     1.5                <tr>
     1.6                    <td>location</td>
     1.7 -                  <td>Derby location or an empty string if the Derby location is not set>/td>
     1.8 +                  <td>Derby location or an empty string if the Derby location is not set</td>
     1.9                    <td>x</td>
    1.10                    <td>x</td>
    1.11                </tr>