org.eclipse.virgo.ide.jdt.core/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.3"?>
<!--
/*********************************************************************
 * Copyright (c) 2007, 2012 SpringSource
 *
 * This program and the accompanying materials are made
 * available under the terms of the Eclipse Public License 2.0
 * which is available at https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
**********************************************************************/
-->
<plugin>
	
    <extension
         point="org.eclipse.jdt.core.classpathContainerInitializer">
      <classpathContainerInitializer
            class="org.eclipse.virgo.ide.jdt.internal.core.classpath.ServerClasspathContainerInitializer"
            id="org.eclipse.virgo.ide.jdt.core.MANIFEST_CLASSPATH_CONTAINER"/>
    </extension>
     
    <extension
         id="dependencyproblemmarker"
         name="Virgo Bundle Dependency Problem"
         point="org.eclipse.core.resources.markers">
      		<super
            	type="org.eclipse.core.resources.problemmarker">
      		</super>
    		<persistent	value="true" />
    </extension>
    
    <extension point="org.eclipse.core.expressions.propertyTesters">
        <propertyTester
            class="org.eclipse.virgo.ide.jdt.core.ServerClasspathContainerPropertyTester"
            id="org.eclipse.virgo.ide.jdt.core.serverClasspathContainerPropertyTester"
            namespace="org.eclipse.virgo.ide.jdt.serverclasspathcontainer"
            properties="isEnabled" 
            type="java.lang.Object" />
    </extension>
</plugin>