Is the salaries of the court lifetime salaries?