Modification to JGraphT to make it compatible with GWT