Revert "Update Casablanca.java"

This reverts commit 632c7b740657f4498c3fc72b0af9e22dc58bf164.