I have read in a reference book for R that the title 'Tukey Kramer' refers to the Tukey tests where there are unequal group sizes. The inference being that Tukey HSD requires groups to be of equal size. JMP refers to 'Tukey HSD (also called Tukey Kramer)' in the section
Basic Analysis > Oneway Analysis > Compare Means > All Pairs, Tukey HSD . Does JMP demand equal group sizes in each case?