forgotten modified file added after jetkins notification