Changeset 29058 for main

Show
Ignore:
Timestamp:
15.05.2014 13:48:21 (6 years ago)
Author:
kjdon
Message:

small change for niceness

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/src/java/org/greenstone/gsdl3/util/DBInfo.java

    r25635 r29058  
    5353    public String getInfo(String key) 
    5454    { 
    55         Vector items = info_map_.get(key); 
     55        Vector<String> items = info_map_.get(key); 
    5656        if (items == null) 
    5757        { 
    5858            return ""; 
    5959        } 
    60         return (String) items.firstElement(); 
     60        return items.firstElement(); 
    6161    } 
    6262