Fixed a JavaFigs issue.