Includes the new JGroups manual