100644 blob 007ec6585c583701d00eb7eaf89bec3cb4f270fd	.gitignore
100644 blob 5254735892b63266a1af33013774440bcdec6b3f	convert_to_java.py
100755 blob f73fa5d63c2105e1dbca7304921528b1aa0428ad	gen
040000 tree d9827385484c2a802d9973f01ec6e1e974583d49	specs
040000 tree e41b923f0ff97a4c2e69a22de8364adc5e74487c	src
040000 tree 45610ac2668083e717b274c55efab0c3f6f7e7ed	static
040000 tree dd1655880315c278e1f899aad8f2535130ebd33d	stubs