Adding more specific logging for cache timing
Fix #207 add padding and margin to the new and save search icons

The words and icons were overlapping
Ignore the plugins folder created by marven

Marven is the correct spelling
Timing and debugging
Merge from master
Removing Menu recache from after WMS Scan
Merge branch '2.42.0-rc'
#186 - DateTime attributes not available to add as filters after WFS harvest.

Wasn't added as there was no associated filter type for this type of attribute.  Use a Date filter for DateTime attributes.
Removing printlns, etc.
Reverting tidy-up commit
Merge pull request #220 from aodn/issue149

Issue149 changes
Removing unnecessary test (unnecessary because of the way we're testing the typeFromString(...) method).
Merge pull request #219 from aodn/issue-186

#186 - DateTime attributes not available to add as filters after WFS har...
Tidy-up one method
Merge branch 'master' into new_openid_support
Playing with travis settings to get the openid stuff to pass