WebSocket / making sure that filter always sees the correct target path, regardless of servlets