in <code>org.eclipse.help</code> is installed.</li>

<!-- should never appear -->
<li filter="plugin=invalid">The plugin <code>invalid</code> is installed.</li>

<li filter="product=org.eclipse.sdk.ide">The product <code>org.eclipse.sdk.ide</code> is running.</li>

<!-- should never appear -->
<li filter="product=invalid">The product <code>invalid</code> is running.</li>

<li filter="category=org.eclipse.categories.developmentCategory">The category <code>org.eclipse.categories.developmentCategory</code> is 