Replaced ArraySize slider with a JSpinner.