Enumeratio plantarum javae - Blume, Carol Ludov