How about the non-students @jmu.edu ?

If there are none, then fine.  Otherwise a problem.

If there are no collisions between the new mail system userids and the
old one, perhaps some sort of aliasing will achive a similar result?

/pete