Merge branch 'master' into core
Merge branch 'master' into core
Add utility to add all elements from an array to a collection.
Rename Filter -> Selector
Merge branch 'core'
Add XML declaration
Fix only one element being added.
Delete unused array utilities.
Bump version to 1.3.0-SNAPSHOT
Merge branch 'master' into semantics

* master:
  Bump version to 1.3.0-SNAPSHOT
  Delete unused array utilities.
  Fix only one element being added.
  Add XML declaration
  Add utility to add all elements from an array to a collection. Rename Filter -> Selector
Merge branch 'semantics' into semantics-newdstypesystem

* semantics:
  Bump version to 1.3.0-SNAPSHOT
  Delete unused array utilities.
  Fix only one element being added.
  Add XML declaration
  Add utility to add all elements from an array to a collection. Rename Filter -> Selector