Tony Garnock-Jones d6c8a80995 Bump language level to JDK 16 to get records; update example1		2021-05-12 15:47:59 +02:00
..
example1	Bump language level to JDK 16 to get records; update example1	2021-05-12 15:47:59 +02:00
example2	First broad step toward novy	2021-05-12 15:47:59 +02:00