Changed filename extension from .txt to .trace.
Reset MagnetRONFrame#open(), MagnetRONViewer#updateObjectVertices().
Not to overlap with MethodExecutionVertex when updating size of ObjectVertex.