Literature of Java : catalogue raisonné of Javanese manuscripts in the Library of the University of Leiden and other public collections in the Netherlands