Uses of Class
prantl.ant.eclipse.OrgEclipseJdtUiPreferencesElement

Uses of OrgEclipseJdtUiPreferencesElement in prantl.ant.eclipse
 

Methods in prantl.ant.eclipse that return OrgEclipseJdtUiPreferencesElement
 OrgEclipseJdtUiPreferencesElement SettingsElement.createJdtUi()
          Adds a definition of the convenience preferences element specific for the package org.eclipse.jdt.ui.