Статические методы разрешаются по типу переменной времени компиляции. m имеет тип Main, поэтому вызывается метод из Main.
m
Main
Если вы измените его на SubMain m ..., то будет вызван метод на SubMain.
SubMain m ...
SubMain