Index of /Software/eclipse/plugins/org.eclipse.pde.ui_2.0.0/schema/map/org.eclipse.jdt.ui

	Name	Last modified	Size	Description
	Parent Directory		-
	javaEditorTextHovers.mxsd	2012-11-01 12:13	3.2K
	classpathContainerPage.mxsd	2012-11-01 12:13	3.7K
	javaElementFilters.mxsd	2012-11-01 12:13	4.8K