WumpusAgents org.eclipse.dltk.core.scriptbuilder org.eclipse.gdt.nature