progfun-recfun org.scala-ide.sdt.core.scalabuilder org.scala-ide.sdt.core.scalanature org.eclipse.jdt.core.javanature