jre got man, whereas jdk don't have it...