Merge remote-tracking branch 'extendedmind/master'
Merge remote-tracking branch 'extendedmind/master'
Merge remote-tracking branch 'extendedmind/master'
Merge branch 'master' of github.com:ttiurani/extendedmind
Undebugged version of updated security context to include search for collectives
Added missing files
Merge branch 'master' of github.com:ttiurani/extendedmind