User.java added for testing the example Emacs plugin