public achievement_user_content() { this.achievement_instance = new HashSet<achievement_instance>(); }