Use debug tracing instead of standard out in BufferManager #4974
Description
Setting org.eclipse.jdt.core/debug/buffermanager results in System.out prints, which provides less information than debug traces - thread name, method name, timestamp and so on are missing. We should use JavaModelManager.trace() instead.