equal
deleted
inserted
replaced
279 } |
279 } |
280 } |
280 } |
281 |
281 |
282 private void firePropertyChange(String propertyName, int oldValue, int newValue) { |
282 private void firePropertyChange(String propertyName, int oldValue, int newValue) { |
283 if (oldValue != newValue) { |
283 if (oldValue != newValue) { |
284 firePropertyChange(propertyName, new Integer(oldValue), new Integer(newValue)); |
284 firePropertyChange(propertyName, Integer.valueOf(oldValue), Integer.valueOf(newValue)); |
285 } |
285 } |
286 } |
286 } |
287 |
287 |
288 private void firePropertyChange(String propertyName, boolean oldValue, boolean newValue) { |
288 private void firePropertyChange(String propertyName, boolean oldValue, boolean newValue) { |
289 if (oldValue != newValue) { |
289 if (oldValue != newValue) { |