Prevent a src jdk to be added to GitHub. (prg.dir not empty)