fixed junit47 since it is not a plugin. (to be continued.)