Added JML for Location.java