move servlet resources a bit around