removed erroneous license header accidentally inserted by jindent when I ran autoformat
reformatted one last time.