commit afc7fd56aaa5074ec99dd330fc50759593f88d76
author Adam Kiezun <akiezun> Wed Dec 05 17:50:09 2001 +0000
committer Adam Kiezun <akiezun> Wed Dec 05 17:50:09 2001 +0000
tree 5c14330967ad615244dd2880c0dc0b0198a6cb93
parent 90a8558d3a70e751e8a666bfbd2a513556170f47

remove duplicate property page contributions

org.eclipse.jdt.ui/plugin.xml

diff --git a/org.eclipse.jdt.ui/plugin.xml b/org.eclipse.jdt.ui/plugin.xml
index 97a2a2b..6e3d070 100644
--- a/org.eclipse.jdt.ui/plugin.xml
+++ b/org.eclipse.jdt.ui/plugin.xml
@@ -200,16 +200,6 @@
 		class="org.eclipse.jdt.internal.ui.preferences.SourceAttachmentPropertyPage"

 		nameFilter="*.jar">

     </page>  

-  	<page name="%infoPageName"

-		id="org.eclipse.jdt.ui.propertyPages.InfoPage" 

-		objectClass="org.eclipse.jdt.core.IJavaElement"

-		class="org.eclipse.jdt.internal.ui.preferences.JavaElementInfoPage">

-    </page>  

-   	<page name="%referencePageName"

-  	   id="org.eclipse.jdt.ui.propertypages.projectreference"

-           objectClass="org.eclipse.jdt.core.IJavaProject"

-           class="org.eclipse.ui.internal.dialogs.ProjectReferencePage">

-   	</page>

 </extension>

 

 <extension