using java 1.7 for compilation (for ClassLoader.close() called in DefaultPluginManager)
Allow disabled plugins to be unloaded and deleted
Merge pull request #11 from gitblit/delete_disabled

Allow disabled plugins to be unloaded and deleted
[maven-release-plugin] prepare release release-0.7.1
[maven-release-plugin] prepare for next development iteration