export declare const HOMEBREW_JAVA_PATH = "/opt/homebrew/opt/openjdk/bin/java";
export declare const TLA_CACHE_DIR: string;
export declare const TLA_CACHE_PATH: string;
export interface JavaStatus {
    found: boolean;
    version: string;
    command: string;
}
export declare const resolveJavaCommand: () => string;
export declare const detectJava: () => JavaStatus;
export declare const resolveTlcJarPath: () => string | null;