Somehow the plugin.properties went missing when migrating to Github