// Generated automatically from java.time.ZoneId for testing purposes

package java.time;

import java.io.Serializable;
import java.time.ZoneOffset;
import java.time.format.TextStyle;
import java.time.temporal.TemporalAccessor;
import java.time.zone.ZoneRules;
import java.util.Locale;
import java.util.Map;
import java.util.Set;

abstract public class ZoneId implements Serializable
{
    public static ZoneId of(String p0){ return null; } // manual neutral
    public static ZoneId systemDefault(){ return null; } // manual neutral
}
