I also don’t know how much it is Mr. Johnson’s choice to leave. But here is one clue: With $2.8 billion in revenue last year, Juniper is about one-tenth the size of the divisions he ran at Microsoft.