modifies User.java