How a Javanese gentleman put his library in order