100644 blob 007ec6585c583701d00eb7eaf89bec3cb4f270fd	.gitignore
100644 blob 5254735892b63266a1af33013774440bcdec6b3f	convert_to_java.py
100755 blob f9e96eacb6c99fad38a8f7ab997d8a47b02f0f0d	gen
040000 tree 39d7b61dbc0e39f7c0de7580bdf0efae2dfe2687	specs
040000 tree 3698197a89748eb64ba57d75431a211acadf36ab	src
040000 tree bb7fbde5258c779e52bf148f6d24cdae664b92c8	static
040000 tree 18e5badf93ab3d137fd2dfb0ac47e0b922e86370	stubs