Java classes for minimal example.