Problems with JSpinner in Linux

Question

Hi,
I'm using six JSpinners in an application I am developing but I am experiencing some problems with them. I have a JButton which, when pressed, changes the values in each of the JSpinners to a random integer.
JButton button;
button.addActionListener(new ActionListener(){
    public void actionPerformed(ActionEvent e){
        resetSpinners();
private static void resetSpinners(){
    spinner1.setValue(<some random int>);
    spinner2...
}Unfortunately, a lot of the time, the random numbers I have generated will not be applied to the spinners.
I know that the numbers are randomly generated correctly, as I have checked this, so the number being passed to setValue(Object value) is definitely a new value.
However, I have also tried retrieving that value again at the bottom of the setSpinners() method, and it hasn't changed. So even though a new number is definitely being passed to the method, it's not setting it all the time.
Weirder is that sometimes it will set the value fine, others it won't. Usually, out of the six, three or four will NOT change their values.
I don't know if the fact I am on Linux affects things, and I haven't tried this on a Windows machine yet.
Can anyone help?
Regards.

Answer 1

Hi J�rg,
Thanks for your reply.
I wrote a standalone version simulating the problem I have and -- guess what -- it worked fine.
The only feasible difference between the two programs is that for the demo program I coded the layout and placement of the components myself, whereas with the problem code, I used IntelliJ's GUI builder, which uses its own layout manager. This must have something to do with the problem.
However, I have managed to botch a fix -- first I set the JSpinners' values to 0, THEN set them to the random numbers. Weird, but works.
Thanks again, though.
Regards.