// file: test/fixtures/java/demo4.java