some fixes + jdk-1.8.formula