update platform toolset
expose max indent parameter in JDB.writeToFile as well, increment API & minor version