NullPointer in HSQLDB

Gestern hat sich ein interessanter Bug in HSQLDB gezeigt:

stmt = conneciton.getStatement()
if (stmt == null) return;
if (stmt.getConnection() == null) return;
if (stmt.isClosed()) return;
stmt.execute(sql) <== wirft NullPointerException weil stmt.getConnection() == null

anscheinend wird in execute stmt.connection gelegentlich auf null gesetzt ohne eine sinnvolle Exception zu werfen.