v0.4.7

java -> conversion -> python -> conversion