de.ugoe.cs.swe.exercises org.eclipse.ui.externaltools.ExternalToolBuilder full,incremental, LaunchConfigHandle <project>/.externalToolBuilders/net.sourceforge.texlipse.builder.TexlipseBuilder.launch org.eclipse.jdt.core.javabuilder org.eclipse.pde.ManifestBuilder org.eclipse.pde.SchemaBuilder org.eclipse.ui.externaltools.ExternalToolBuilder full,incremental, LaunchConfigHandle <project>/.externalToolBuilders/net.sourceforge.metrics.builder.launch net.sourceforge.texlipse.builder.TexlipseNature org.eclipse.pde.PluginNature org.eclipse.jdt.core.javanature net.sourceforge.metrics.nature