Some Java stuff leaks into my docs...