more work on contrib manager, wrapping up issue #1425
Merge branch 'master' of github.com:processing/processing