Add back pointer to Record API in 0.5 Java API docs