79492 jsgi proxy servlet fix