--- build.xml.orig 2004-01-15 18:28:39.000000000 +0100 +++ build.xml 2011-02-25 14:27:15.000000000 +0100 @@ -142,7 +142,7 @@ - @@ -157,7 +157,7 @@ - @@ -174,7 +174,7 @@ - @@ -184,7 +184,7 @@ - @@ -194,7 +194,7 @@ - @@ -210,7 +210,7 @@ - @@ -219,7 +219,7 @@ - @@ -228,14 +228,14 @@ - - @@ -319,8 +319,9 @@ windowtitle="${name} ${version} API" doctitle="${name}" bottom="${copyright}" - stylesheetfile="${doc}/javadoc_stylesheet.css" - /> + stylesheetfile="${doc}/javadoc_stylesheet.css"> + +