Port of openflowJ API