add servlet-api to javalib files list