Polish some Collections API calls

See gh-17825
This commit is contained in:
dreis2211
2019-08-09 18:05:04 +02:00
committed by Stephane Nicoll
parent 6921e240bc
commit b605cddb10
3 changed files with 3 additions and 3 deletions

View File

@@ -36,7 +36,7 @@ public class JndiPropertiesHidingClassLoader extends ClassLoader {
@Override
public Enumeration<URL> getResources(String name) throws IOException {
if ("jndi.properties".equals(name)) {
return Collections.enumeration(Collections.emptyList());
return Collections.emptyEnumeration();
}
return super.getResources(name);
}