Implementing UserList *.java, *.tml