prantl.ant.eclipse

Class GeneralPreferencesElement