DOC - Jan. 26, 2013: Fix jenkins server tools install command