Thanks for the answers, everyone. I've been thinking about changing the name to avoid the hassle of the trademark and just for the reason of having a name that makes sense. :) I wanted to rename it Mercury, which would be a little more logical, since Mercury was the Roman messenger god. The only problem is that mercury.org, mercury.net, and mercury.com are all taken (as well as .cc, .tv, and .us), as is the mercury name on SourceForge.
So I guess my best bet after all would be to just change the name and not deal with this, since I'm really not interested in paying a lawyer. I just have to figure out a way to make a memorable domain name.
Thanks again, everyone.