added copyright notice and copying permissions to source