Modernize: use Collections.emptyEnumerator instead of a custom constant empty Vector