Alguém sabe o porque, e se tem alguma forma de evitar, a diferença entre a aparência de um JSpinner na versão 1.4.0 e na 1.4.2 do JRE??
O código abaixo inicializa um JSpinner com duas bordas na versão 1.4.0 (uma borda no JSpinner e uma no editor) e uma borda apenas na versão 1.4.2 (apenas no JSpinner).
super();
super.setBorder(BorderFactory.createBevelBorder(BevelBorder.LOWERED));
super.addChangeListener(this);