If you believe it to be a bug, please report it to webmaster@artima.com, and indicate that your ticket number is 1949309274. Thanks.
Copyright © 2020 Artima, Inc. All rights reserved.