a Java library for typed graphs with properties