tree 384845a3c34adb2894902b180bb543fd97d27655
parent 005865cacb326191f6eb048893d793742f289683
author Markus Keller <markus_keller@ch.ibm.com> 1494348001 +0200
committer Markus Keller <markus_keller@ch.ibm.com> 1494348101 +0200

Bug 515534: [newindex] Add a button to the Java preference page for
rebuilding the index

Fixed duplicated preference constant JavaIndex.ENABLE_NEW_JAVA_INDEX.