part of Java API.