100644 blob 007ec6585c583701d00eb7eaf89bec3cb4f270fd	.gitignore
100644 blob 5254735892b63266a1af33013774440bcdec6b3f	convert_to_java.py
100755 blob 9fa58e2b58103c11ce91a812fd5ba54e25244869	gen
040000 tree aa6b4cff910759643b449c642fee44b03fa40640	specs
040000 tree 59ebf4cef8d5d0f57301b50068a6d3836919bda5	src
040000 tree 45610ac2668083e717b274c55efab0c3f6f7e7ed	static
040000 tree 2d706e050a64ed4594ce32b493773a175fa05f53	stubs