Did the filing say when judge received his increase? There are not supposed to be any raises this year.