Java implementation of a search algorithm targeting to increase the lower bound of Ramsey Numbers