Bug fixes

Fixed an issue which caused JFresh to crash on some linux systems. Also
fixed a small bug in the search function.