IntelliJ IDEA Demetra build 5245 was released

A few minutes ago, JetBrains released IntelliJ IDEA Demetra build 5245. Here are changes in build 5245 from 5231

    * UI Designer. Taking form snapshots from running application.
    * UI Designer. Editing of additional border title properties.
    * JavaScript. Property name completion.
    * JavaScript. Highlighting of possibly unresolved references.
    * JSF model highlighting.
    * EJB. Interceptor intentions.
    * EJB. Generate actions (Alt-Ins).
    * Top bar for reporting file-level errors in editor.
    * Other improvements and bugfixes.

At this time Dimitry didn't announce it yet but you can download from ITN web site. I will update detail changes later.

Update: Here is complete list of changes.

Update: Some changes I found in UI

Code coverage



Default Ant target menu (2 questions: Why only default target? Other target will be added?)