test_servlet now works!