specified platform and architecture for openjdk