搜索：

    public final int getSavedLocation(final String loc) {
        final Integer ret = c.getPlayer().getSavedLocation(SavedLocationType.fromString(loc));
        if (ret == null || ret == -1) {
            return 100000000;
        }
        return ret;
    }


替換：

    public final int getSavedLocation(final String loc) {
        return c.getPlayer().getSavedLocation(SavedLocationType.fromString(loc));
    }