Added spring repository for com.springsource.javax.servlet