Eclipse settings.
Merge branch 'master' of git://purkki/picoos-net.git