Statistics for Andreev Bound States in Topological-Insulator-Based Josephson Junction