de.hhn.ai.prog2.blatt9.properties org.eclipse.jdt.core.javabuilder org.eclipse.jdt.core.javanature