Today it was announced that Randy Johnson, Pedro Martinez, John Smoltz, and Craig Biggio were all inducted into the Hall of Fame. I did not really pay attention to who all was on the ballot this ye…