Changeset 18932 in josm


Ignore:
Timestamp:
2024-01-01T12:58:39+01:00 (11 months ago)
Author:
stoecker
Message:

fix some CI warnings

Location:
trunk/src/org/openstreetmap/josm/gui/animation
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/animation/ChristmasExtension.java

    r18929 r18932  
    1515public class ChristmasExtension implements AnimationExtension {
    1616
     17    private static final Random seed = new Random();
    1718    private final List<IAnimObject> objs = new ArrayList<>(50);
    1819
     
    2930    @Override
    3031    public final void adjustForSize(int w, int h) {
    31         Random seed = new Random();
    3232        int count = w / (2 * (Star.averageStarWidth + 1));
    3333        while (objs.size() > count) {
  • trunk/src/org/openstreetmap/josm/gui/animation/DropImage.java

    r18931 r18932  
    7575                dirs.add(new File(url.toURI()));
    7676                do {
    77                     for (File f : dirs.remove(0).listFiles()) {
    78                         if (f.isFile()) {
    79                             result.add(f.getPath());
    80                         } else {
    81                             dirs.add(f);
     77                    File[] files = dirs.remove(0).listFiles();
     78                    if (files != null) {
     79                        for (File f : files) {
     80                            if (f.isFile()) {
     81                                result.add(f.getPath());
     82                            } else {
     83                                dirs.add(f);
     84                            }
    8285                        }
    8386                    }
     
    97100                name = result.get(seed.nextInt(result.size()));
    98101            }
     102            return new ImageProvider(name).setMaxSize(new Dimension(size, size)).get().getImage();
    99103        } catch (Exception ex) {
    100104            Logging.log(Logging.LEVEL_DEBUG, ex);
    101105        }
    102         return new ImageProvider(name).setMaxSize(new Dimension(size, size)).get().getImage();
     106        return new ImageProvider("logo").setMaxSize(new Dimension(size, size)).get().getImage();
    103107    }
    104108}
Note: See TracChangeset for help on using the changeset viewer.