Fix build failure on OpenJDK by using Bitstream Vera Sans