use new FileUtilRt.createFilterByExtension method
authornik <Nikolay.Chashnikov@jetbrains.com>
Thu, 25 Jun 2015 07:35:53 +0000 (10:35 +0300)
committernik <Nikolay.Chashnikov@jetbrains.com>
Thu, 25 Jun 2015 07:35:53 +0000 (10:35 +0300)
commitcff4a9803dc12de644f80ca046383af2c86e42ab
tree1bcd1fc564ea6f9ba76af593a541d60d2fe5ac78
parentbfc80872b44fbfc7ca598079815a59abd1f4c0d3
use new FileUtilRt.createFilterByExtension method
plugins/ui-designer/jps-plugin/src/org/jetbrains/jps/uiDesigner/compiler/FormsBindingManager.java
plugins/ui-designer/jps-plugin/src/org/jetbrains/jps/uiDesigner/compiler/FormsBuilder.java