100101102103104105106107108
} } public TrippiServer getTrippiServer() throws ServletException { if (m_trippi == null){ m_trippi = new TrippiServer(getWriter()); } return m_trippi; }