Selection API extension
Copy/paste typo
Implement and use WeakRedrawTimer to avoid memory leak
Task to build jediterm executable jar.
Make WeakRedrawTimer static

Non-static inner class automatically have an implicit reference to the
containing instance.
This is preventing enclosing TerminalPanel to be garbage collected.
Stop ExecutorService in close()

As long as ExecutorService is not shut down, spawned threads are not
cleared. This is memory leak prone.
Fix error when selection occurs near borders

After a resize that does not impact the number of rows/columns,
frame.pack() is not called, so the panel can be slightly larger than :
(getColumnCount()*myCharSize.width)x(getRowCount()*myCharSize.height).
Remove unnecessary Arrays.fill() call

Already done in allocateBuffers()
Merge branch 'master' into selection_api_extension

Conflicts:
	src-terminal/com/jediterm/terminal/display/SelectionUtil.java
Update default separators
Upgrade guava and jzlib libs
Merge pull request #40 from Plonk42/update_libs

Upgrade guava and jzlib libs
Merge pull request #37 from Plonk42/timer_leak

Fix memory leak when JediTerm is used in another application
Merge pull request #38 from Plonk42/selection_api_extension

Selection API extension
Merge remote-tracking branch 'origin/master'
Fix F5 key code.
Windows support.
Cleanup.
Libraries dependencies fixed.
Remove jna sources.