Close Git repository after operation is done
Added <provided> to servlet-api
Merge pull request #4 from gastaldi/master

Close Git Repository after performing operation