--- plugins/org.eclipse.help.base/plugin.xml.orig 2008-08-02 15:36:47.000000000 -0400
+++ plugins/org.eclipse.help.base/plugin.xml 2008-08-02 15:37:20.000000000 -0400
@@ -113,7 +113,7 @@
+ value="Linux,FreeBSD,AIX,HP,SunOS">
@@ -132,7 +132,7 @@
+ value="Linux,FreeBSD,AIX,HP,SunOS">
@@ -151,7 +151,7 @@
+ value="Linux,FreeBSD,AIX,HP,SunOS">