Added ReadFile and PrintSystemProperty servlets