J2K JavaElementFinder: rename file

This commit is contained in:
Pavel V. Talanov
2018-06-01 17:31:09 +02:00
parent 451c732b8f
commit 00b1e9281b