Fixed URI encoding bug from java for "[]" chars in authority

See discussion at cwi-swat/rascal#498
Merge pull request #37 from DavyLandman/master

Fixed URI encoding bug from java for "[]" chars in authority