https://devhubby.com/thread/how-to-create-an-auto-increment-column-in-hsqldb