return;
return 0;
		void updateSize(int width) {			setFont(new Font("monospaced", Font.PLAIN, getXPixPerUnitAsInt()));			Graphics g = getGraphics();			if(g == null) {				return;			}			FontMetrics fm = g.getFontMetrics();			maxWidth = 0;			for(int i = 0; i < nx; i++) {				String s = matrix.getName(i);				if(s != null) {					int w = fm.stringWidth(s);					maxWidth = Math.max(maxWidth, w);				}			}			setPreferredSize(new Dimension(width, maxWidth + 10));			setSize(new Dimension(width, maxWidth + 10));			setMinimumSize(new Dimension(width, maxWidth + 10));			setMaximumSize(new Dimension(width, maxWidth + 10));			g.dispose();		}