Added weighted path measure in vertex labels (forgot to in 1f9ecd61c2e6da8064)
Hacky fix for #27. It seems like a concurrent modification error. Adding 25ms of sleep between steps seems to give the backend enough time to catch up with the GUI so the issue doesn't appear. One positive thing is that the simulation was too fast for demonstration purposes anyway
Fixed bug where when a new graph is loaded the selected vertex from the previous one is not cleared, resulting in attemps to calculate statistics for a non-existent vertex
Merge branch 'develop' into miro
Revert "Fixed bug where when a new graph is loaded the selected vertex from the previous one is not cleared, resulting in attemps to calculate statistics for a non-existent vertex"

This reverts commit 22fbf1fbd365f00d0356e33e34ebd84ec8e1dfc8.
aef0e6af04d573c8f introduced some accidental changes that cause the information panels on the right to shrink. Cherrypicked just these out
Bumped version in POM
The node state, vertex icon style and type are now saved / loaded properly.
Merge branch 'devMerge' into vladi
Added the functionality to change the icon style of all vertices at once. It is accessible via a new sub-menu when right-clicking outside an edge / vertex. (Closes #30).
Added the option to disable / enable node icons. The old CustomVertexRenderer is used for drawing the graph without the icons.
The preference about enabling / disabling the vertex icons can now be saved and loaded from the .graph file. Added a custom PajekNetwWriter class and moved it to a separate package along with the CustomPajekNetReader. Also the options to change the node icons are no longer available if the icons are disabled.
Updated docs for v 3.1
Added code to change all vertices' icon to human or computer. When computer-style, the type should be autodetermined- mobile, desktop or access point.
More docs, bumped version in POM and help menu is preparation for 3.1 release
Merge pull request #31 from mbatchkarov/master

Master
Newly created vertices' icons are now styled as the predominant part of the already existing vertices in a graph. E.g. if at least 50% of the vertices have 'simple' icon style, then the new vertex will also have a 'simple' icon. Closes #33.
The UI-related code is no longer generated by the NetBeans GUI builder. Also some of the fields in the Display and InfectDisp classes have been renamed in a more descriptive manner. This closes #23.
The initial application frame size is now exactly 1024x768 pixels large with all panels showing. To achieve this the following changes have been made to the layout: Removed the 'Min' and 'Max degree' statistics from the 'Graph statistics' panel; Reduced the height of the 'Infected count' plot by 25%; Moved the 'Selected node statistics' panel to the right of the 'Mouse mode' toolbar and slightly rearranged it's layout. Also fixed several issues with the layout resizing when showing / hiding components. This closes #13.
Merge branch 'manualGui' into develop