You can buy this project and download/modify it how often you want.
Files of the artifact rt-servlet31 version 4.1 from the group li.rudin.rt.