added new scripts in pluginScripts, fixed gretty.properties in gretty9-plugin