Bump org.json:json from 20230227 to 20231013 in /pdf-over-gui (#101)

Bump org.json:json from 20230227 to 20231013 in /pdf-over-gui (#101) #128