detach scala.tools.detach.DetachPlugin