}

    /**
     * Tests the {@code equals} and {@code hashCode} methods of options.
     */
    @Test
    public void testEqualsHashCode() {
        JavaPathType.Modular foo1 = JavaPathType.patchModule("foo");
        JavaPathType.Modular foo2 = JavaPathType.patchModule("foo");
        JavaPathType.Modular bar = JavaPathType.patchModule("bar");