Changed List<User> users=new ArrayList<>( ) to new ArrayList<User>(). I think adding the User in this allows for one to directly retrieve the elements as of type 'User' without having it to cast the retrieved item. I subtle, if not significant, bug, if at all.