Changed signatures of List<UserI> methods, added checks on SystemPathVerification to make sure the system is REALLY initialized. Added fix for AliasToken serialization issue. Made warning about 1.7-compatible rt.jar more explicit and more helpful.