fix package and Registration.java