Miscellaneous, mostly Java-related