[throwaway426079]

While this could be solved by judges choosing to retire early while under a 'friendly' administration, recent experience tells us this is not going to happen every time.