Исправление Jetty, 23.01.13 15:07 (текущая версия) :
«man» != «$ man»
Исходная версия Jetty, 23.01.13 15:05:
«man» != «$ man» -> fail