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

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.3"?>
<!--
/*******************************************************************************
 * Copyright (c) 2007, 2012 SpringSource
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *     SpringSource - initial API and implementation
 *******************************************************************************/
-->
<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>