PR: 159500 Submitted by: KATO Tsuguru <tkato432@yahoo.com>
PR: 45517 Submitted by: Michael Ebert <ebert@informatik.unibw-muenchen.de>