Added putInt(int, int).
Fixed problem with resource leak detection.
Cosmetic fix.