Merge origin/master

Conflicts:
	SpaceTrader/src/spacetrader/player/Ship.java

plus issues with find bugs
Merge origin/master