Parece-me evidente que os juízes são titulares de cargos públicos e não funcionários públicos -- o que não é a mesma coisa --, ainda que se lhes possa e deva aplicar o regime destes naquilo que não seja incompatível com a função judicial.
Todavia, quando os juízes têm sindicato, fazem greve e, de vez em quando, invocam um horário de trabalho (!?), correm o risco de ser inadvertidamente tomados por aquilo que parecem ser e não por aquilo que são.
