Here is a small patch to update XMonad.Config.Xfce to use

"xfce4-terminal" instead of "Terminal" which I gather is obsolete

since xfce4-terminal-0.6.0.

Thanks, Jens