Miscellany
public java v1 · immutablepublic abstract class ResourceHandle {}public class MailboxStore { Mailbox mailbox; public class Handle extends ResourceHandle { public Handle() { } }}public class MessageHandle extends MailboxStore.Handle { public class MessageHandle (MailboxStore store, Message m) { store.super (); }}