Merge pull request #1 from mpetris/master

bugfix determine charset from url connection
Merge pull request #2 from mpetris/master

latest features and bugfixes
Merge pull request #3 from mpetris/master

refactoring
Merge remote-tracking branch 'mpetris/vaadin7' into vaadin7
Merge remote-tracking branch 'mpetris/vaadin7' into vaadin7
add collection() function to TagLibrary
TagManager can provide TagLibraries now
Merge branch 'graphdbindex' into infolog