SwitchSection(SwitchLabel[] labels, Statement[] statements) {
this.Labels = (labels == null) ? Query.empty<SwitchLabel>() : Query.asIterable((SwitchLabel[])labels.clone());
this.Statements = (statements == null) ? Query.empty<Statement>() : Query.asIterable((Statement[])statements.clone());
}