License All files in this directory are not covered by the Apache 2.0 license and may only be used with specific permission of the copyright holder.