Add backward compatibility with previous property names (eg "gumtree.match.gt.minh") about gumtree HOT 9 CLOSED

Hi Martin!

I believe it is now : public static int MIN_HEIGHT = Integer.parseInt(System.getProperty("gt.stm.mh", "1"));

Cheers.

from gumtree.

from gumtree.

Yes this change indeed breaks backward compatibility, I may be able to add the old name as an alias if you need it.

Not yet released on Maven Central because it is a pain to release there, so for now we release only on our nightly server.

from gumtree.

from gumtree.

This parameter can be now provided from command line and it was really long to type :)

from gumtree.

from gumtree.

I checked and there are several of these parameters that have been renamed to have a uniform naming scheme, I prefer to keep the new naming scheme, but I will put an alias for the old ones.

from gumtree.

OK. I've renamed the issue accordingly.

It seems it remains one trace of the old properties:

core/src/main/java/com/github/gumtreediff/matchers/heuristic/gt/GreedyBottomUpMatcher.java
36:    public static double SIM_THRESHOLD = Double.parseDouble(System.getProperty("gumtree.match.bu.sim", "0.3"));

from gumtree.

fixed

from gumtree.