MinLog2 producer
AddRegistrations (Java API)