added generic type to List to make Java interface happy