The java API for dot language