Remove empty plugin.properties files.

There remain some empty plugin.properties files that were not removed
last commit. Remove them now.