Add 'Schiffstation' to names that need places in their unique form.

This commit is contained in:
Andreas Schildbach 2015-09-20 22:55:24 +02:00
parent 29d853202c
commit 0994d31443

View file

@ -144,8 +144,9 @@ public final class Location implements Serializable
return false;
}
private static final String[] NON_UNIQUE_NAMES = { "Hauptbahnhof", "Hbf", "Bahnhof", "Bf", "Busbahnhof", "ZOB", "Zentrum", "Dorf", "Kirche",
"Nord", "Ost", "Süd", "West" };
private static final String[] NON_UNIQUE_NAMES = { "Hauptbahnhof", "Hbf", "Bahnhof", "Bf", "Busbahnhof", "ZOB", "Schiffstation", "Schiffst.",
"Zentrum", "Dorf", "Kirche", "Nord", "Ost", "Süd", "West" };
static
{
Arrays.sort(NON_UNIQUE_NAMES);