cursor.getString() не работает должным образом (например, почтовый код = 01234, но вместо этого возвращает 1234)

Я работаю с Android - SQLite. У меня есть кодовый почтовый номер, хранящийся как CHAR[5] в SQLite db.

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» почтового кода? (например: почтовый индекс = "01234", но вместо этого вернуть "1234")

Может кто-нибудь объяснить?