Using scala.tools.eclipse.util.Utils.debugTimed instead of custom method