Slightly changed plugin.properties