Formatting changes on User.java