{
  "node_id": "java-3c0553280d2a4b60983a5ae18e7112a4",
  "keywords": [],
  "children": [],
  "export": [],
  "title": "RandomAccessFile"
}