PieMenu.java: add missing stuff