fix default liberty port to 8080