Automated conversion from mozilla-odinmonkey