some improvements to platform manager interface and javadoc