Well, denotation of the country is Czechy; nobody in Poland would use full Republika Czeska (unless in some official documents). So I guess if the name gets changed, at least Poles won't have to change their convention :)