From 95fe82630797bae5a9a7ffacc871bbd00efe2d82 Mon Sep 17 00:00:00 2001 From: Keith Packard Date: Wed, 19 Feb 2020 14:01:15 -0800 Subject: [PATCH] altosuilib: Eliminate a couple java compiler warnings Were using new Integer(int), when just passing the int would 'auto-box' as necessary. Signed-off-by: Keith Packard --- altosuilib/AltosUIConfigure.java | 4 ++-- altosuilib/AltosUIEnable.java | 7 +++---- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/altosuilib/AltosUIConfigure.java b/altosuilib/AltosUIConfigure.java index e61b5d52..8f68793e 100644 --- a/altosuilib/AltosUIConfigure.java +++ b/altosuilib/AltosUIConfigure.java @@ -240,12 +240,12 @@ public class AltosUIConfigure AltosUIPreferences.set_map_cache(size); } catch (ClassCastException ce) { - map_cache.setSelectedItem(new Integer(AltosUIPreferences.map_cache())); + map_cache.setSelectedItem(AltosUIPreferences.map_cache()); } } }); - map_cache.setSelectedItem (new Integer(AltosUIPreferences.map_cache())); + map_cache.setSelectedItem (AltosUIPreferences.map_cache()); pane.add(map_cache, constraints(1, 2, GridBagConstraints.BOTH)); row++; } diff --git a/altosuilib/AltosUIEnable.java b/altosuilib/AltosUIEnable.java index ef9a692a..0cb562d2 100644 --- a/altosuilib/AltosUIEnable.java +++ b/altosuilib/AltosUIEnable.java @@ -175,15 +175,14 @@ public class AltosUIEnable extends Container implements ChangeListener { add(line_width_label, c); line_width = new JSpinner(); - line_width.setValue(new Integer(1)); + line_width.setValue(1); line_width.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent e) { int w = (Integer) line_width.getValue(); if (w < 1) { w = 1; - line_width.setValue(new Integer(w)); + line_width.setValue(w); } - System.out.printf("line width set to %d\n", w); set_line_width(w); } }); @@ -205,7 +204,7 @@ public class AltosUIEnable extends Container implements ChangeListener { speed_filter = new JSlider(JSlider.HORIZONTAL, 0, 10000, (int) (filter_listener.speed_filter() * 1000.0)); Hashtable label_table = new Hashtable(); for (int i = 0; i <= 10000; i += 5000) { - label_table.put(new Integer(i), new JLabel(String.format("%d", i))); + label_table.put(i, new JLabel(String.format("%d", i))); } speed_filter.setPaintTicks(true); speed_filter.setMajorTickSpacing(1000); -- 2.30.2