Rename to make java happy