fixed class names in gretty7.plugin, gretty8.plugin, gretty9.plugin