android - cursor.getString() が正しく動作しない (例: code postal = "01234" が代わりに "1234" を返す)

Question

私は Android - SQLite を使用しています。SQLite db に CHAR[5] として格納されているコード郵便番号があります。

Cursor cursor = db.query( ... )
String code = cursor.getString(cursor.getColumnIndex("code"));

CREATE TABLE codepostal (
    code CHAR( 5 ) PRIMARY KEY NOT NULL UNIQUE,
    name VARCHAR( 70 ) NOT NULL
);
INSERT INTO [codepostal] ([code], [name]) VALUES (01001, 'My_city');

ただし、郵便番号の頭文字「0」を削除すると必ず返ってくるのでは？(例: code post = "01234" ですが、代わりに "1234" を返します)

誰か説明できますか？