A Case Study of JVM HotSpot Flags