Slightly better example
Fixed #198: deftype-openly and Java classes