Oh, good. The existing themes were not working well for Java Jaguar. I'll take a look at reworking it later.