Java 13 arrives with improvements to garbage collection, application class-data sharing, and text blocks