Ignore:
Timestamp:
2016-02-13T20:49:22+01:00 (8 years ago)
Author:
Don-vip
Message:

checkstyle

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/Preferences.java

    r9781 r9793  
    10861086                Set evalue = (Set) e.getValue();
    10871087                JsonArrayBuilder a = Json.createArrayBuilder();
    1088                 for (Object evo: (Collection) evalue) {
     1088                for (Object evo: evalue) {
    10891089                    a.add(evo.toString());
    10901090                }
     
    14181418     * setting, add it to the list here with an expiry date (written as comment). If you
    14191419     * see something with an expiry date in the past, remove it from the list.
     1420     * @param loadedVersion JOSM version when the preferences file was written
    14201421     */
    14211422    private void removeObsolete(int loadedVersion) {
Note: See TracChangeset for help on using the changeset viewer.